1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
File "failures.ml", line 4, characters 0-18: <<false>> is false.
File "failures.ml", line 5, characters 0-29: name1 threw Exit.
File "failures.ml", line 9, characters 4-22: <<false>> is false.
in TEST_MODULE at file "failures.ml", line 7, characters 0-220: name2
File "failures.ml", line 10, characters 4-22: <<false>> is false.
in TEST_MODULE at file "failures.ml", line 7, characters 0-220: name2
File "failures.ml", line 11, characters 4-27: <<raise Exit>> threw Exit.
in TEST_MODULE at file "failures.ml", line 7, characters 0-220: name2
TEST_MODULE at file "failures.ml", line 13, characters 4-88: name3 threw Exit.
in TEST_MODULE at file "failures.ml", line 7, characters 0-220: name2
TEST_MODULE at file "failures.ml", line 21, characters 0-66 threw Exit.
File "failures.ml", line 28, characters 0-30: name4 is false.
FAILED 6 / 28 tests, 2 TEST_MODULES
code: 2
|
