]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 738e9bc) | patch
Add a C API test for the leak fixed in r1141 (when pushing/popping assertions), enabl...
authorkhooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 11 Jan 2012 16:55:46 +0000 (16:55 +0000)
committerkhooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 11 Jan 2012 16:55:46 +0000 (16:55 +0000)
commit4a6ea0c54e2f2a2ac0f95640731a230352cabdc1
treefcc848d6728540d9591d4f76481bf3a2f350404atree | snapshot
parent738e9bc1733ed4b5ceb3423d459b8b828b6d4b7bcommit | diff
Add a C API test for the leak fixed in r1141 (when pushing/popping assertions), enabling valgrind on this test as well as another similar test.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1500 e59a4935-1847-0410-ae03-e826735625c1
tests/c-api-tests/Makefile diff | blob | history
tests/c-api-tests/push-no-pop.c [new file with mode: 0644] blob
STP Constraint Solver.