diff options
| author |  Checkmate50 <dgeisler50@gmail.com> | 2015-11-29 14:28:17 -0700 |
|---|---|---|
| committer | Checkmate50 <dgeisler50@gmail.com> | 2015-11-29 14:28:17 -0700 |
| commit | a1c9e11736bda4bf8ea4bf431523b9b975b01670 (patch) | |
| tree | 7cb10a22d54fa41c535f96299c76e06bae6953a8 /float_test4.bpl | |
| parent | a3b2bfa16f991f4d5f844b6d18e836e57b4195a1 (diff) | |
Special fp types (such as infinity and NaN are now translated by boogie
Diffstat (limited to 'float_test4.bpl')
0 files changed, 0 insertions, 0 deletions