equal
deleted
inserted
replaced
35 val split_first = (fn [] => ("", []) | l :: ls => (l, ls)) |
35 val split_first = (fn [] => ("", []) | l :: ls => (l, ls)) |
36 val (l, ls) = split_first (snd (take_prefix is_blank_or_error_line lines)) |
36 val (l, ls) = split_first (snd (take_prefix is_blank_or_error_line lines)) |
37 in (test_outcome solver_name l, ls) end |
37 in (test_outcome solver_name l, ls) end |
38 |
38 |
39 fun on_first_non_unsupported_line test_outcome solver_name lines = |
39 fun on_first_non_unsupported_line test_outcome solver_name lines = |
40 on_first_line test_outcome solver_name (filter (curry (op <>) "unsupported") lines) |
40 on_first_line test_outcome solver_name (filter (curry (<>) "unsupported") lines) |
41 |
41 |
42 (* CVC3 *) |
42 (* CVC3 *) |
43 |
43 |
44 local |
44 local |
45 fun cvc3_options ctxt = [ |
45 fun cvc3_options ctxt = [ |