]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Don't test a22 in valgrind because it leaks
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 2 May 2010 14:43:11 +0000 (14:43 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 2 May 2010 14:43:11 +0000 (14:43 +0000)
commitc77c220555df9f446bea82eeedea163cebfe52c4
tree4c642c9d8771b46ec20e036db38f6cbb4c14a7c9
parenta7f79fc9920fe5733a8cd80aa7b8b782af5c0a43
Don't test a22 in valgrind because it leaks

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@741 e59a4935-1847-0410-ae03-e826735625c1
tests/c-api-tests/Makefile