diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-10 13:35:25 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-10 13:35:25 +0700 |
| commit | aed898c8782d6335a21c4c5e5a4fddc5619f1e74 (patch) | |
| tree | d248b673635ea3f29dcf1bf6030a410eac5c300c /src/proof/int | |
| parent | 0a79a38a4dc385d7cd76a94f349b0f1af44ae82e (diff) | |
| download | abc-aed898c8782d6335a21c4c5e5a4fddc5619f1e74.tar.gz abc-aed898c8782d6335a21c4c5e5a4fddc5619f1e74.tar.bz2 abc-aed898c8782d6335a21c4c5e5a4fddc5619f1e74.zip | |
Commented out assertions that do not hold due to rounding of floating point numbers.
Diffstat (limited to 'src/proof/int')
0 files changed, 0 insertions, 0 deletions