Commit 4fba5f89 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

floats

parent 20349d93
......@@ -118,9 +118,11 @@ end
theory Test
use import Rounding
use import Single
use Single
use Double
lemma Round_01: round NearestTiesToEven 0.1 = 0x0.199999Ap0
lemma Round_single_01: Single.round NearestTiesToEven 0.1 = 0x0.199999Ap0
lemma Round_double_01: Double.round NearestTiesToEven 0.1 = 0x0.199999Ap0
end
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment