simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 03:05:28 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

test(float): add some tests for FP min/max

Browse source
This commit is contained in:
Simon Cruanes 2018-05-14 18:09:39 -05:00
parent 841dac234a
commit 8060980266
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/core/CCFloat.ml
View file

@ -58,6 +58,20 @@ let max (x : t) y =
| _, FP_nan -> x | _, FP_nan -> x
| _ -> if x > y then x else y | _ -> if x > y then x else y
(*$T
max nan 1. = 1.
min nan 1. = 1.
max 1. nan = 1.
min 1. nan = 1.
*)
(*$Q
Q.(pair float float) (fun (x,y) -> \
is_nan x || is_nan y || (min x y <= x && min x y <= y))
Q.(pair float float) (fun (x,y) -> \
is_nan x || is_nan y || (max x y >= x && max x y >= y))
*)
let equal (a:float) b = a=b let equal (a:float) b = a=b
let hash : t -> int = Hashtbl.hash let hash : t -> int = Hashtbl.hash