projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a84ad01) | patch
A return value for an ApproxGLPK::loadVB() failure case was incorrect.
authorTim King <tim.king@imag.fr>
Sat, 13 Jun 2015 14:25:23 +0000 (16:25 +0200)
committerTim King <tim.king@imag.fr>
Sat, 13 Jun 2015 14:25:36 +0000 (16:25 +0200)
commitf28e715326669c2524e5dc552ff9eb05e5799f33
tree77672d3162539219d404844d596986d6b5cdc5actree
parenta84ad01f18b860e22027622d3397367570a2523ccommit | diff
A return value for an ApproxGLPK::loadVB() failure case was incorrect.
src/theory/arith/approx_simplex.cpp diff | blob | history