#705

Build # #705

Build Type

push

Committed by

Commit Message

<a href="https://github.com/hammerlab/oml/commit/<a class=hub.com/hammerlab/oml/commit/d10d13a68820a68f0a15b152efcbf7b430a49811">d10d13a68<a href="https://github.com/hammerlab/oml/commit/d10d13a68820a68f0a15b152efcbf7b430a49811">">Merge-</a><a class="double-link" href="https://github.com/hammerlab/oml/commit/<a class="double-link" href="https://github.com/hammerlab/oml/commit/d6417c745c4b244e95ee304abb90ddc32c6e7f02">d6417c745</a>">d6417c745</a><a href="https://github.com/hammerlab/oml/commit/d10d13a68820a68f0a15b152efcbf7b430a49811">-into-0b222534d">0b222534d</a>

Run Details

5 of 5 new or added lines in 1 file covered. (100.0%)

1191 of 1727 relevant lines covered (68.96%)

510532.23 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

77.78

/src/util/oml_util_base.ml

(*
   Copyright 2015,2016:
     Leonid Rozenberg <leonidr@gmail.com>

   Licensed under the Apache License, Version 2.0 (the "License");
   you may not use this file except in compliance with the License.
   You may obtain a copy of the License at

       http://www.apache.org/licenses/LICENSE-2.0

   Unless required by applicable law or agreed to in writing, software
   distributed under the License is distributed on an "AS IS" BASIS,
   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
   See the License for the specific language governing permissions and
   limitations under the License.
*)

type iterative_failure_reason =
  | Out_of_bounds of float
  | No_convergence
  | Too_many_iterations of int
  | Too_few_iterations of int

exception Iteration_failure of string * iterative_failure_reason

let invalid_arg ?m ?f fmt =
  let p =
    match m, f with
    | None, None          -> ""
    | (Some m), None      -> m ^ ": "
    | None, (Some f)      -> f ^ ": "
    | (Some m), (Some f)  -> Printf.sprintf "%s.%s:" m f
  in
  Printf.ksprintf (fun s -> raise (Invalid_argument (p ^ s))) fmt

let pi = 4. *. atan 1.

let midpoint x y = (x +. y) /. 2.0

(* This value is taken from http://en.wikipedia.org/wiki/Machine_epsilon which
   sites Higham, Nicholas (2002). Accuracy and Stability of Numerical Algorithms
   (2 ed). SIAM. p. 37. *)
let dx = 2.22044e-16

let significantly_different_from ?(d=dx) x y = y < (x -. d) || y > (x +. d)

let equal_floats ~d x y = not (significantly_different_from ~d x y)

let is_nan x = x <> x

let is_degenerate x = is_nan x || x = neg_infinity || x = infinity

type 'a bound = Open of 'a
              | Closed of 'a

let within bp x =
  match bp with
  | (Open l), (Open u)      -> l < x  && x < u
  | (Open l), (Closed u)    -> l < x  && x <= u
  | (Closed l), (Open u)    -> l <= x && x < u
  | (Closed l), (Closed u)  -> l <= x && x <= u

let fst3 (x,_,_) = x
let snd3 (_,x,_) = x
let thr3 (_,_,x) = x

let random_init = function
  | None -> ()
  | Some `Self    -> Random.self_init ()
  | Some `Init i  -> Random.init i
  | Some `Full a  -> Random.full_init a


1	(*
2	Copyright 2015,2016:
3	Leonid Rozenberg <leonidr@gmail.com>
4
5	Licensed under the Apache License, Version 2.0 (the "License");
6	you may not use this file except in compliance with the License.
7	You may obtain a copy of the License at
8
9	http://www.apache.org/licenses/LICENSE-2.0
10
11	Unless required by applicable law or agreed to in writing, software
12	distributed under the License is distributed on an "AS IS" BASIS,
13	WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14	See the License for the specific language governing permissions and
15	limitations under the License.
16	*)
17
18	type iterative_failure_reason =
19	\| Out_of_bounds of float
20	\| No_convergence
21	\| Too_many_iterations of int
22	\| Too_few_iterations of int
23
24	exception Iteration_failure of string * iterative_failure_reason
25
26	let invalid_arg ?m ?f fmt =
27	let p =	5,414✔
28	match m, f with	5,414✔
29	\| None, None -> ""	×
30	\| (Some m), None -> m ^ ": "	×
31	\| None, (Some f) -> f ^ ": "	×
32	\| (Some m), (Some f) -> Printf.sprintf "%s.%s:" m f	5,414✔
33	in
34	Printf.ksprintf (fun s -> raise (Invalid_argument (p ^ s))) fmt	5,414✔
35
36	let pi = 4. *. atan 1.	1✔
37
38	let midpoint x y = (x +. y) /. 2.0	357,831✔
39
40	(* This value is taken from http://en.wikipedia.org/wiki/Machine_epsilon which
41	sites Higham, Nicholas (2002). Accuracy and Stability of Numerical Algorithms
42	(2 ed). SIAM. p. 37. *)
43	let dx = 2.22044e-16	1✔
44
45	let significantly_different_from ?(d=dx) x y = y < (x -. d) \|\| y > (x +. d)	22,962✔
46
47	let equal_floats ~d x y = not (significantly_different_from ~d x y)	73,809✔
48
49	let is_nan x = x <> x	25,339✔
50
51	let is_degenerate x = is_nan x \|\| x = neg_infinity \|\| x = infinity	24,019✔
52
53	type 'a bound = Open of 'a
54	\| Closed of 'a
55
56	let within bp x =
57	match bp with	5,970✔
58	\| (Open l), (Open u) -> l < x && x < u	2✔
59	\| (Open l), (Closed u) -> l < x && x <= u	5,763✔
60	\| (Closed l), (Open u) -> l <= x && x < u	2✔
61	\| (Closed l), (Closed u) -> l <= x && x <= u	201✔
62
63	let fst3 (x,_,_) = x	78,592✔
64	let snd3 (_,x,_) = x	54,228✔
65	let thr3 (_,_,x) = x	26,564✔
66
67	let random_init = function	1✔
68	\| None -> ()	1,100✔
69	\| Some `Self -> Random.self_init ()	×
70	\| Some `Init i -> Random.init i	×
71	\| Some `Full a -> Random.full_init a	×
72

hammerlab / oml / #705

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous