src/HOL/TPTP/TPTP_Test.thy
changeset 47547 1a5dc8377b5c
parent 47518 b2f209258621
child 47558 55b42f9af99d
     1.1 --- a/src/HOL/TPTP/TPTP_Test.thy	Wed Apr 18 18:24:16 2012 +0200
     1.2 +++ b/src/HOL/TPTP/TPTP_Test.thy	Wed Apr 18 17:33:11 2012 +0100
     1.3 @@ -102,6 +102,7 @@
     1.4  
     1.5  ML {*
     1.6    fun situate file_name = Path.append tptp_probs_dir (Path.explode file_name);
     1.7 +
     1.8    fun parser_test ctxt = (*FIXME argument order*)
     1.9      test_fn ctxt
    1.10       (fn file_name =>
    1.11 @@ -111,6 +112,9 @@
    1.12                TPTP_Parser.parse_file file)))
    1.13       "parser"
    1.14       ()
    1.15 +
    1.16 +  fun parse_timed file =
    1.17 +    Timing.timing TPTP_Parser.parse_file (Path.implode file)
    1.18  *}
    1.19  
    1.20  end
    1.21 \ No newline at end of file