You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Traceback (most recent call last):
File "~/Downloads/ruletaker/theory_label_generator.py", line 640, in <module>
main()
File "~/Downloads/ruletaker/theory_label_generator.py", line 629, in main
run_theorem_prover(
File "~/Downloads/ruletaker/theory_label_generator.py", line 268, in run_theorem_prover
instance = TheoryAssertionRepresentationWithLabel.from_json(instance_json)
File "~/Downloads/ruletaker/common.py", line 681, in from_json
json_dict["id"],
KeyError: 'id'
The text was updated successfully, but these errors were encountered:
where
sample_input/sample_input.json
isand
grammars_and_config/output/ruletaker_theory_generator_output_theory1_label.jsonl
iswhich gives me the error
The text was updated successfully, but these errors were encountered: