Commit 45fd3b70 authored by POTTIER Francois's avatar POTTIER Francois

Some more tests.

parent b0e924cf
......@@ -92,7 +92,7 @@ let () =
let print_fa t =
printf "fa(%a) = %a\n%!"
nhprint t
Atom.Set.print (fa t)
Atom.Set.print (fa_term t)
let () =
evaluate print_fa
......@@ -145,6 +145,7 @@ let () =
let () =
for _i = 0 to 9 do
let t = import_term KitImport.empty (generate 15) in
printf "generate() = %a\n%!"
hprint t
printf "generate() = %a\n%!" hprint t;
assert (closed_term t);
assert (Atom.Set.is_empty (fa_term t));
done
Markdown is supported
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