projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90ef0ab) | patch
Fix a deterministic assignment-ordering for get-assignment (fixes a regression failur...
authorMorgan Deters <mdeters@cs.nyu.edu>
Sun, 9 Nov 2014 23:20:04 +0000 (18:20 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sun, 9 Nov 2014 23:53:29 +0000 (18:53 -0500)
commit36ff166f3d2976ad13536de8c699e86d1ff99e65
tree9b1a3f7ec92dec0ce6b77316355c48f134e36ac2tree
parent90ef0ab1a4e468b47835561118c32bc81bb44b37commit | diff
Fix a deterministic assignment-ordering for get-assignment (fixes a regression failure on Mac).
src/smt/smt_engine.cpp diff | blob | history