]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c38f4b) | patch
Speedup. Experimental. Caching was disabled when converting a term to a constant...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 2 Jan 2011 12:08:03 +0000 (12:08 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 2 Jan 2011 12:08:03 +0000 (12:08 +0000)
commit3de517d685dfe50b79c73ad1d35953038bf999cc
tree0902581b85fdf390b1fe339df23e3d89590b7938tree | snapshot
parent9c38f4b06fdf86b07d8545575b5f12c8419aa69fcommit | diff
Speedup. Experimental. Caching was disabled when converting a term to a constant using the model, IF the arrayReadFlag was false. Without caching it runs very slowly when building the counter example.

I've yet to find an instance where caching all the time  gives the wrong example??

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1049 e59a4935-1847-0410-ae03-e826735625c1
src/absrefine_counterexample/CounterExample.cpp diff | blob | history
STP Constraint Solver.