equal
deleted
inserted
replaced
152 text "Run interpretation over all problems. This works only for logics |
152 text "Run interpretation over all problems. This works only for logics |
153 for which interpretation is defined (in TPTP_Parser/tptp_interpret.ML)." |
153 for which interpretation is defined (in TPTP_Parser/tptp_interpret.ML)." |
154 ML {* |
154 ML {* |
155 if test_all @{context} then |
155 if test_all @{context} then |
156 (report @{context} "Interpreting all problems"; |
156 (report @{context} "Interpreting all problems"; |
157 S timed_test (interpretation_test (get_timeout @{context})) @{context}) |
157 S timed_test (interpretation_test (get_timeout @{context})) @{context} (TPTP_Syntax.get_file_list tptp_probs_dir)) |
158 else () |
158 else () |
159 *} |
159 *} |
160 |
160 |
161 end |
161 end |