git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

author	trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
	Tue, 3 Apr 2012 12:30:52 +0000 (12:30 +0000)
committer	trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
	Tue, 3 Apr 2012 12:30:52 +0000 (12:30 +0000)
commit	d2acb92e06dc82bf46e08a1aae93c5839e24db47
tree	0e5f4c9165cced185d47fe9edbeaaafc9f0be26f	tree \| snapshot
parent	b7d99880c80dcade08a37be7740b64e5aaa2047c	commit \| diff

Fix some more test cases by returning from main.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1619 e59a4935-1847-0410-ae03-e826735625c1

21 files changed:

tests/c-api-tests/b4-c2.c		diff \| blob \| history
tests/c-api-tests/biosat-rna.cpp		diff \| blob \| history
tests/c-api-tests/getbvunsignedlonglong-check.c		diff \| blob \| history
tests/c-api-tests/if-check.c		diff \| blob \| history
tests/c-api-tests/leak.c		diff \| blob \| history
tests/c-api-tests/multiple-queries.c		diff \| blob \| history
tests/c-api-tests/parsefile-using-cinterface.c		diff \| blob \| history
tests/c-api-tests/parsestring-using-cinterface.c		diff \| blob \| history
tests/c-api-tests/print.c		diff \| blob \| history
tests/c-api-tests/push-pop-1.c		diff \| blob \| history
tests/c-api-tests/push-pop.c		diff \| blob \| history
tests/c-api-tests/sbvdiv.c		diff \| blob \| history
tests/c-api-tests/simplify.c		diff \| blob \| history
tests/c-api-tests/simplify1.c		diff \| blob \| history
tests/c-api-tests/squares-leak.c		diff \| blob \| history
tests/c-api-tests/stp-bool.c		diff \| blob \| history
tests/c-api-tests/stp-counterex.c		diff \| blob \| history
tests/c-api-tests/stp-div-001.c		diff \| blob \| history
tests/c-api-tests/stp-test3.c		diff \| blob \| history
tests/c-api-tests/userguided-absrefine.c		diff \| blob \| history
tests/c-api-tests/y.c		diff \| blob \| history

STP Constraint Solver.

RSS Atom