projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7091c6) | patch
minor fix to prevent getValue from returning null
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 17 Jul 2012 21:19:58 +0000 (21:19 +0000)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 17 Jul 2012 21:19:58 +0000 (21:19 +0000)
commit2b83291d229c957e2becf7397d186040959602df
tree3e3300af92ff26f425348cab38c7b3f19c3719b4tree
parenta7091c61d6661079cfef6b489809579a0c6ac792commit | diff
minor fix to prevent getValue from returning null
src/theory/model.cpp diff | blob | history