-
Erwan Jahier authored
Parent-Version: 0.110 Version-Log: source/util.ml: source/formula.ml: source/lurette.ml: Only print one counter example if the test failed. source/lurettetop.ml: source/gen_stubs.ml: try to guess the node name in lurettetop rather than in gen_stubs if not given. Project-Description: Lurette
a5e54d03