Félix LOYAU-KAHN

bench test error Alt-Ergo lib/structures/expr.ml

1

Nummber of tests : 31 Tests: 1160, 1163, 1166, 1167, 1171, 1172, 1173, 1177, 1180, 1184, 1194, 26, 31, 33, 36, 42, 542, 59, 68, 70, 72, 761, 763, 766,...

bench test error Alt-Ergo lib/reasoners/bitv.ml 3

1

Nummber of tests : 26 Tests: 1181, 1193, 198, 27, 280, 284, 294, 306, 318, 374, 376, 427, 452, 494, 497, 525, 546, 573, 586, 621, 646, 775, 814, 819,...

bench test error Alt-Ergo Not_found

1

Nummber of tests : 6 Tests: 357, 487, 517, 631, 641, 645 Error: owi: internal error, uncaught exception: Not_found Raised at Stdlib__Domain.join in file "domain.ml", line 258, characters 16-24 Called...

bench test error Alt-Ergo lib/reasoners/bitv.ml 2

1

Nummber of tests : 13 Tests: 1107, 195, 293, 308, 443, 50, 512, 533, 54, 616, 642, 719, 85 Error: owi: internal error, uncaught exception: File "src/lib/reasoners/bitv.ml", line 696, characters...

bench test error Alt-Ergo mappings: no value for symbol_XXX

1

Nummber of tests : 41 Tests: 1031, 324, 354, 355, 363, 365, 367, 369, 371, 372, 379, 387, 496, 554, 558, 562, 564, 625, 627, 663, 666, 667, 668, 670,...

bench test error Alt-Ergo Invalid_argument("extract")

1

Nummber of tests : 1 Tests: 44 Error: owi: internal error, uncaught exception: Invalid_argument("extract") Raised at Stdlib__Domain.join in file "domain.ml", line 258, characters 16-24 Called from Stdlib__Array.iter in file "array.ml",...

bench test error Alt-Ergo lib/structures/expr.ml 2

1

Nummber of tests : 4 Tests: 1165, 403, 430, 570 Error: owi: internal error, uncaught exception: File "src/lib/structures/expr.ml", line 915, characters 4-10: Assertion failed Raised at Stdlib__Domain.join in file "domain.ml",...

bench test error Alt-Ergo Z.Overflow

4

Nummber of tests : 1 Tests: 734 Error: owi: internal error, uncaught exception: Z.Overflow Raised at Stdlib__Domain.join in file "domain.ml", line 258, characters 16-24 Called from Stdlib__Array.iter in file "array.ml",...

bench test error Alt-Ergo Unsupported operator wrap_i64

1

Nummber of tests : 5 Tests: 1040, 1041, 1042, 1043, 1044 Error: owi: internal error, uncaught exception: Failure("Bv: Unsupported bv(XXX) operator \"wrap_i64\"") Raised at Stdlib__Domain.join in file "domain.ml", line 258,...

bench test error Alt-Ergo lib/reasoners/bitv.ml

1

Nummber of tests : 34 Tests: 1035, 1075, 1086, 1092, 1114, 1116, 1118, 1150, 1190, 1196, 278, 286, 298, 316, 412, 414, 420, 422, 464, 48, 51, 516, 569, 575,...