{"size": 130, "ext": "rktd", "max_stars_repo_path": "redex-test/redex/tests/run-err-tests/test-judgment-holds.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-judgment-holds.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-judgment-holds.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": 32.5, "max_line_length": 67, "alphanum_fraction": 0.6769230769}
(#rx"^ctc-fail: judgment input values do not match its contract;\n"
 ([bad-use (ctc-fail #t #f)])
 (test-judgment-holds bad-use))
