diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-03-10 11:40:54 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-03-10 11:40:54 +0000 |
| commit | dca03793b807bbd066d6886c97ac7131f80508d4 (patch) | |
| tree | f32587d9d48d6e048d3eb57cd864ed46a6b3ed67 /Source/Provers | |
| parent | 1550a8112d172a37a168b048b5c78642bc39bf90 (diff) | |
Fix bug in BigDec.FloorCeiling() which gave the wrong answers for
negative numbers. I have decided that this method will floor towards
negative infinity rather than zero to match SMT-LIBv2's to_int function.
Diffstat (limited to 'Source/Provers')
0 files changed, 0 insertions, 0 deletions