projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca3c6c4) | patch
fix to TNode assertion (which is too strict, given lax ordering requirements on stati...
authorMorgan Deters <mdeters@gmail.com>
Sat, 1 Dec 2012 17:12:18 +0000 (17:12 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 1 Dec 2012 17:12:18 +0000 (17:12 +0000)
commit251841986bb6a68d18350ed76135507b63ef29b6
treedc2cb607cf9f9d4ff7754804c0576628230cd26dtree
parentca3c6c4842f122641c4bb5096e6c9249db2ff12bcommit | diff
fix to TNode assertion (which is too strict, given lax ordering requirements on static data initialization)---this should fix debug-staticbinary Mac builds, maybe others
src/expr/node.h diff | blob | history