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

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

author	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Mon, 16 Nov 2009 17:01:45 +0000 (17:01 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Mon, 16 Nov 2009 17:01:45 +0000 (17:01 +0000)
commit	1679a3fdbc234f9c4255b062a01e112fbb724af1
tree	be3866b73e852e1202a66f6b7668785a1cc2ad79	tree \| snapshot
parent	9ebbbeaac387a7eae07dfcd383c011ab9d813d96	commit \| diff

added a very basic regression so that users can check their installations

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

49 files changed:

Makefile		diff \| blob \| history
scripts/Makefile.in		diff \| blob \| history
scripts/run_basic_cvctests.pl	[new file with mode: 0755]	blob
scripts/run_basic_smttests.pl	[new file with mode: 0755]	blob
scripts/run_stp_tests.pl		diff \| blob \| history
tests/misc-tests/cryptominisat-bug.cvc		diff \| blob \| history
tests/sample-tests/a100test0001.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a101test0002.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a103test0001.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a105test0001.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a107test0001.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a114test0001.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a115test0002.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a116test0003.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a121test0001.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a122test0002.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a123test0003.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a124test0004.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a126test0001.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a127test0009.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a128test0016.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a12test0001.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a13test0002.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a15test0001.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a163test0021.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a164test0005.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a165test0010.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a166test0014.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a167test0001.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a168test0018.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a169test0012.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a170test0017.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a171test0019.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a172test0002.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a173test0011.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a174test0003.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a175test0013.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a176test0022.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a177test0006.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a178test0007.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a179test0008.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a180test0004.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a181test0020.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a182test0015.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a185test0001.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a186test0002.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a187test0009.cvc	[new file with mode: 0644]	blob
tests/sample-tests/a188test0016.cvc	[new file with mode: 0644]	blob
tests/sample-tests/test000013.cvc	[deleted file]	blob \| history

STP Constraint Solver.

RSS Atom