@@ -8,44 +8,32 @@ let ae exp got _test_ctxt =
88
99let tests = [
1010 " Missed target" > ::
11- ae 0 (score (- 9.0 ) (9.0 ));
12-
11+ ae 0 (score (- 9.0 ) (9.0 ));
1312 " On the outer circle" > ::
14- ae 1 (score (0.0 ) (10.0 ));
15-
13+ ae 1 (score (0.0 ) (10.0 ));
1614 " On the middle circle" > ::
17- ae 5 (score (- 5.0 ) (0.0 ));
18-
15+ ae 5 (score (- 5.0 ) (0.0 ));
1916 " On the inner circle" > ::
20- ae 10 (score (0.0 ) (- 1.0 ));
21-
22- " Exactly on center" > ::
23- ae 10 (score (0.0 ) (0.0 ));
24-
25- " Near the center" > ::
26- ae 10 (score (- 0.1 ) (- 0.1 ));
27-
17+ ae 10 (score (0.0 ) (- 1.0 ));
18+ " Exactly on centre" > ::
19+ ae 10 (score (0.0 ) (0.0 ));
20+ " Near the centre" > ::
21+ ae 10 (score (- 0.1 ) (- 0.1 ));
2822 " Just within the inner circle" > ::
29- ae 10 (score (0.7 ) (0.7 ));
30-
23+ ae 10 (score (0.7 ) (0.7 ));
3124 " Just outside the inner circle" > ::
32- ae 5 (score (0.8 ) (- 0.8 ));
33-
25+ ae 5 (score (0.8 ) (- 0.8 ));
3426 " Just within the middle circle" > ::
35- ae 5 (score (- 3.5 ) (3.5 ));
36-
27+ ae 5 (score (- 3.5 ) (3.5 ));
3728 " Just outside the middle circle" > ::
38- ae 1 (score (- 3.6 ) (- 3.6 ));
39-
29+ ae 1 (score (- 3.6 ) (- 3.6 ));
4030 " Just within the outer circle" > ::
41- ae 1 (score (- 7.0 ) (7.0 ));
42-
31+ ae 1 (score (- 7. ) (7. ));
4332 " Just outside the outer circle" > ::
44- ae 0 (score (7.1 ) (- 7.1 ));
45-
33+ ae 0 (score (7.1 ) (- 7.1 ));
4634 " Asymmetric position between the inner and middle circles" > ::
47- ae 5 (score (0.5 ) (- 4.0 ));
35+ ae 5 (score (0.5 ) (- 4.0 ));
4836]
4937
5038let () =
51- run_test_tt_main (" darts tests" > ::: tests)
39+ run_test_tt_main (" darts tests" > ::: tests)
0 commit comments