projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 690eed7) | patch
fix integer parsing error.. thanks dejan for the report. this indicates that we...
authorMorgan Deters <mdeters@gmail.com>
Mon, 13 Aug 2012 20:56:15 +0000 (20:56 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 13 Aug 2012 20:56:15 +0000 (20:56 +0000)
commit9684cf346efe1ae33fd0b560b1cae5d11c5fc4b4
treef43a9271f2a21fa591759d4f872867cc4dbfcbc9tree
parent690eed77a7883869a6f45c6db8546f0ccb795b4bcommit | diff
fix integer parsing error.. thanks dejan for the report.  this indicates that we have a problem with our Integer class though; it appears to behave differently for GMP and CLN
src/options/options_template.cpp diff | blob | history