fix valgrind forblems with yices interface

SRI-CSL / sally

A model checker for infinite-state systems.

http://sri-csl.github.io/sally/

GNU General Public License v2.0

69 stars 12 forks source link

Closed dddejan closed 10 years ago

dddejan commented 10 years ago

valgrind --leak-check=full ./src/sal2 --engine bmc_engine -v 1 /homes/dejan/workspace/sal2/test/regress/bmc/example1.mcmt

dddejan commented 10 years ago

didn't delete the engine in main