projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0b1bc92) | patch
fix a race problem. due to interrupt mechanism minisat returned true instead of undef.
authorKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 14 Nov 2012 00:29:50 +0000 (00:29 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 14 Nov 2012 00:29:50 +0000 (00:29 +0000)
commit8c6c93e0b65e67046ed654886b1294dcc6667687
treedee2d44cfcad7ce57ca0c530955c372d87cdc53ctree
parent0b1bc92ea30fd851e35db6728939cc0b33f03397commit | diff
fix a race problem. due to interrupt mechanism minisat returned true instead of undef.
src/prop/minisat/core/Solver.cc diff | blob | history