{"size": 764, "ext": "rktd", "max_stars_repo_path": "redex-test/redex/tests/run-err-tests/test-reduction-relation.rktd", "max_stars_repo_name": "LiberalArtist/redex", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "redex-test/redex/tests/run-err-tests/test-reduction-relation.rktd", "max_issues_repo_name": "LiberalArtist/redex", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "redex-test/redex/tests/run-err-tests/test-reduction-relation.rktd", "max_forks_repo_name": "LiberalArtist/redex", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": null, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 25.4666666667, "max_line_length": 49, "alphanum_fraction": 0.5693717277}
("reduction-relation: not in domain\n  term: #f"
 ([bad-test (test--> inc (term #f) (term #t))])
 (let ()
   (define-language L)
   (define inc
     (reduction-relation
      L #:domain integer
      (--> integer ,(add1 (term integer)))))
   bad-test))

("reduction-relation: not in domain\n  term: #f"
 ([bad-test (test-->> inc (term #f) (term #t))])
 (let ()
   (define-language L)
   (define inc
     (reduction-relation
      L #:domain integer
      (--> integer ,(add1 (term integer)))))
   bad-test))

("reduction-relation: not in domain\n  term: #f"
 ([bad-test (test-->>∃ inc (term #f) (term #t))])
 (let ()
   (define-language L)
   (define inc
     (reduction-relation
      L #:domain integer
      (--> integer ,(add1 (term integer)))))
   bad-test))
