diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/c/real.expect | 12 | ||||
| -rw-r--r-- | test/c/real.sail | 22 |
2 files changed, 34 insertions, 0 deletions
diff --git a/test/c/real.expect b/test/c/real.expect new file mode 100644 index 00000000..81587184 --- /dev/null +++ b/test/c/real.expect @@ -0,0 +1,12 @@ +1: 16 +1: 16 +1: 16 +1: 4 +1: 4 +1: 4 +2: 17 +2: 17 +2: 17 +2: 8340353015645794683299462704812268882126086134656108363777/2022832731673317417391502561215986991699553462632778473728 +2: 4 +2: 5 diff --git a/test/c/real.sail b/test/c/real.sail new file mode 100644 index 00000000..32e58af6 --- /dev/null +++ b/test/c/real.sail @@ -0,0 +1,22 @@ + +$include <arith.sail> +$include <real.sail> + +val main : unit -> unit + +function main() = { + let x : real = 16.0; + print_real("1: ", x); + print_int("1: ", floor(x)); + print_int("1: ", ceil(x)); + print_real("1: ", sqrt(x)); + print_int("1: ", floor(sqrt(x))); + print_int("1: ", ceil(sqrt(x))); + let x : real = 17.0; + print_real("2: ", x); + print_int("2: ", floor(x)); + print_int("2: ", ceil(x)); + print_real("2: ", sqrt(x)); + print_int("2: ", floor(sqrt(x))); + print_int("2: ", ceil(sqrt(x))); +}
\ No newline at end of file |