Fix test comballoc.ml

master
Jacques-Henri Jourdan 2020-01-25 23:04:14 +01:00 committed by Stephen Dolan
parent 8633c32525
commit 35104694b5
1 changed files with 18 additions and 9 deletions

View File

@ -1,39 +1,48 @@
2: 0.42 false
Raised by primitive operation at file "comballoc.ml", line 40, characters 25-48
Raised by primitive operation at file "comballoc.ml", line 16, characters 2-19
Called from file "comballoc.ml", line 40, characters 25-48
Called from file "list.ml", line 110, characters 12-15
Called from file "comballoc.ml", line 70, characters 2-35
3: 0.42 false
Raised by primitive operation at file "comballoc.ml", line 40, characters 25-48
Raised by primitive operation at file "comballoc.ml", line 16, characters 6-18
Called from file "comballoc.ml", line 40, characters 25-48
Called from file "list.ml", line 110, characters 12-15
Called from file "comballoc.ml", line 70, characters 2-35
4: 0.42 true
Raised by primitive operation at file "comballoc.ml", line 16, characters 13-17
Raised by primitive operation at file "comballoc.ml", line 13, characters 11-20
Called from file "comballoc.ml", line 16, characters 13-17
Called from file "comballoc.ml", line 40, characters 25-48
Called from file "list.ml", line 110, characters 12-15
Called from file "comballoc.ml", line 70, characters 2-35
2: 0.01 false
Raised by primitive operation at file "comballoc.ml", line 40, characters 25-48
Raised by primitive operation at file "comballoc.ml", line 16, characters 2-19
Called from file "comballoc.ml", line 40, characters 25-48
Called from file "list.ml", line 110, characters 12-15
Called from file "comballoc.ml", line 70, characters 2-35
3: 0.01 false
Raised by primitive operation at file "comballoc.ml", line 40, characters 25-48
Raised by primitive operation at file "comballoc.ml", line 16, characters 6-18
Called from file "comballoc.ml", line 40, characters 25-48
Called from file "list.ml", line 110, characters 12-15
Called from file "comballoc.ml", line 70, characters 2-35
4: 0.01 true
Raised by primitive operation at file "comballoc.ml", line 16, characters 13-17
Raised by primitive operation at file "comballoc.ml", line 13, characters 11-20
Called from file "comballoc.ml", line 16, characters 13-17
Called from file "comballoc.ml", line 40, characters 25-48
Called from file "list.ml", line 110, characters 12-15
Called from file "comballoc.ml", line 70, characters 2-35
2: 0.83 false
Raised by primitive operation at file "comballoc.ml", line 40, characters 25-48
Raised by primitive operation at file "comballoc.ml", line 16, characters 2-19
Called from file "comballoc.ml", line 40, characters 25-48
Called from file "list.ml", line 110, characters 12-15
Called from file "comballoc.ml", line 70, characters 2-35
3: 0.83 false
Raised by primitive operation at file "comballoc.ml", line 40, characters 25-48
Raised by primitive operation at file "comballoc.ml", line 16, characters 6-18
Called from file "comballoc.ml", line 40, characters 25-48
Called from file "list.ml", line 110, characters 12-15
Called from file "comballoc.ml", line 70, characters 2-35
4: 0.83 true
Raised by primitive operation at file "comballoc.ml", line 16, characters 13-17
Raised by primitive operation at file "comballoc.ml", line 13, characters 11-20
Called from file "comballoc.ml", line 16, characters 13-17
Called from file "comballoc.ml", line 40, characters 25-48
Called from file "list.ml", line 110, characters 12-15
Called from file "comballoc.ml", line 70, characters 2-35