Closed this issue 10 years ago · 1 comments
valgrind --leak-check=full ./src/sal2 --engine bmc_engine -v 1 /homes/dejan/workspace/sal2/test/regress/bmc/example1.mcmt
didn't delete the engine in main