Unverified Commit e58aece4 authored by Merlin's avatar Merlin 💧
Browse files

Pretty printer for test failures

parent c6c638ae
......@@ -77,7 +77,7 @@ let truncate (input : string) =
let use_functor ?(onestep:bool = false) (functors: string) (init_globals: unit->unit) (cases: (testResult*string) list) =
let sortTable = FP.sortTableFromString functors in
List.map (fun (expected_result,formula) ->
functors >: (truncate formula >:: fun _ctxt -> let result = let _ = init_globals () in runSatCheck ~onestep: onestep sortTable formula in assert_equal expected_result result)
functors >: (truncate formula >:: fun _ctxt -> let result = let _ = init_globals () in runSatCheck ~onestep: onestep sortTable formula in assert_equal ~printer:terminal_string_of_testResult expected_result result)
) cases
let onestepFunc_equals_tableau_predicate logic formula =
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment