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