]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8af6045) | patch
Bugfix. Stop a null pointer error.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 26 Jul 2010 23:26:50 +0000 (23:26 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 26 Jul 2010 23:26:50 +0000 (23:26 +0000)
commit44de29a2a96091c84ee0b87e5b670512356079d0
tree617b3d6b5fa9affbc7cc88fdbc60242b4304cc35tree | snapshot
parent8af604504aa752f0691307f1a1c02958fa1861c5commit | diff
Bugfix. Stop a null pointer error.

The simplifier can create something like: (BVMULT 1 3 5). i.e. a mutliplication node of constants with arity > 2. This patch makes that work.

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