projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0ec315) | patch
Initializing Smt1::d_logic in all cases. This was resolved by extending the Logic...
authorTim King <taking@cs.nyu.edu>
Tue, 7 Nov 2017 21:56:28 +0000 (13:56 -0800)
committerGitHub <noreply@github.com>
Tue, 7 Nov 2017 21:56:28 +0000 (13:56 -0800)
commit6b8c686fb2407620e4fdf48bb98030f782925b99
tree4787d7fc901032c137fe153bf58409023a61b46atree
parentb0ec3155fde9502597f0d1f98971bec4ebe141cacommit | diff
Initializing Smt1::d_logic in all cases. This was resolved by extending the Logic enum with an UNSET value. (#1329)
src/parser/smt1/smt1.cpp diff | blob | history
src/parser/smt1/smt1.h diff | blob | history