projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c957465) | patch
Change recursive expandDefinitions() to an interative worklist-based one; we were...
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 20 Aug 2013 20:32:31 +0000 (16:32 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 20 Aug 2013 20:54:06 +0000 (16:54 -0400)
commite312964014bd17e938655b4182044658cd106e21
treec1798445aa3da6d4cb59715445f2fe40aff328a5tree
parentc957465176d46a7f06a96393619db5e6f4fbda38commit | diff
Change recursive expandDefinitions() to an interative worklist-based one; we were blowing the stack.  Fixes a segfault reported by Pantazis Deligiannis.
src/smt/smt_engine.cpp diff | blob | history