]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Fix compiling of the SMT-LIB Parser, Fix regression test script on bash.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 6 Jan 2009 02:31:09 +0000 (02:31 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 6 Jan 2009 02:31:09 +0000 (02:31 +0000)
commita53510af89ef4a9b9d7951fd641fcc6e03c82322
tree1019e08354418e2aa91177b0caae02cd5f45124d
parent00cfb06c78c2614907f3d42950f99419e47ccfc1
Fix compiling of the SMT-LIB Parser, Fix regression test script on bash.

The make files for the smtlib parser referred to to old locations of the SAT solver. The regression tests used
lots to many arguments to ulimit, it didn't run in my bash shell.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@49 e59a4935-1847-0410-ae03-e826735625c1
AST/AST.h
Makefile.smt
bin/run_tests
bin/run_tests.smt
parser/Makefile.smt