diff options
author | Tim King <tim.king@imag.fr> | 2015-01-19 18:57:29 +0100 |
---|---|---|
committer | Tim King <tim.king@imag.fr> | 2015-01-19 19:05:04 +0100 |
commit | 66daf10d1bf4cb2f1846f599fe11e27312ac2069 (patch) | |
tree | 575c7abb8c2db919fbd437d11dfe48f82d2c363b /src/parser/smt2 | |
parent | dc38452fb64b58c96c73b8bcab7d89fc86b0ecdd (diff) |
Adding tests for get-value output for arithmetic.
Fixing bug where (- 1).0 was printed by get-value. Thanks to Christoph Sticksel for the bug report.
Diffstat (limited to 'src/parser/smt2')
0 files changed, 0 insertions, 0 deletions