]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Bugfix. The script that was called by regressstp didn't record errors when some test...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 24 Jun 2010 14:03:37 +0000 (14:03 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 24 Jun 2010 14:03:37 +0000 (14:03 +0000)
commita9490d9d8736a4214d11a00a2a0f09a34de4f666
treea632134a23e37ce3af130560d2adf8e7bebaec30
parent443d74017f4f8a4222622e5893314117e232a85a
Bugfix. The script that was called by regressstp didn't record errors when some test cases failed. So I've removed it, and use the generic test runner instead. There are two differences: multiples log files are now created, and the timeout is 180 sec.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@874 e59a4935-1847-0410-ae03-e826735625c1
scripts/Makefile.in
scripts/run_stp_tests.pl [deleted file]