projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a5466f2) | patch
Use empty vector instead of false in query with null Expr assumption (#2876)
authormakaimann <makaim@stanford.edu>
Fri, 22 Mar 2019 01:10:01 +0000 (18:10 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Fri, 22 Mar 2019 01:10:01 +0000 (01:10 +0000)
commita20702bcbb04422ddfcda5a241fd0cc0ec32edc8
tree5abcba103332741021daad54f3040974bb54bd9btree
parenta5466f262e16f3ebcd7c62df266a5ac0cd9c5b9acommit | diff
Use empty vector instead of false in query with null Expr assumption (#2876)

This solution is less confusing than using a `false` assumption.
src/smt/smt_engine.cpp diff | blob | history