New class and facility CallSiteBuilder #47
30 errors, 543 skipped, 13 654 pass in 17m 22s
Annotations
Check failure on line 0 in tests.niti.contracts.invariant
github-actions / Test Results
contracts_invariant_defaultinit (tests.niti.contracts.invariant) with error
tests-full-niti/tests-niti.xml [took 0s]
Raw output
fail out/contracts_invariant_defaultinit.res sav//contracts_invariant_defaultinit.res
--- sav//contracts_invariant_defaultinit.res 2024-08-16 23:29:55.920358213 +0000
+++ out/contracts_invariant_defaultinit.res 2024-08-17 00:00:54.281592048 +0000
@@ -1 +0,0 @@
-Runtime error: Assert 'invariant(i > 0)' failed (contracts_invariant_defaultinit.nit:16)
Check failure on line 0 in tests.niti.contracts.invariant
github-actions / Test Results
contracts_invariant_diamond (tests.niti.contracts.invariant) with error
tests-full-niti/tests-niti.xml [took 0s]
Raw output
fail out/contracts_invariant_diamond.res sav//contracts_invariant_diamond.res
--- sav//contracts_invariant_diamond.res 2024-08-16 23:29:55.920358213 +0000
+++ out/contracts_invariant_diamond.res 2024-08-17 00:00:55.068602303 +0000
@@ -1,2 +1 @@
-Runtime error: Assert 'invariant(bar > 12)' failed (contracts_invariant_diamond.nit:32)
11
Check failure on line 0 in tests.niti.contracts.invariant
github-actions / Test Results
contracts_invariant_in_redef (tests.niti.contracts.invariant) with error
tests-full-niti/tests-niti.xml [took 0s]
Raw output
fail out/contracts_invariant_in_redef.res sav//contracts_invariant_in_redef.res
--- sav//contracts_invariant_in_redef.res 2024-08-16 23:29:55.920358213 +0000
+++ out/contracts_invariant_in_redef.res 2024-08-17 00:00:55.655609952 +0000
@@ -1 +0,0 @@
-Runtime error: Assert 'invariant(false)' failed (contracts_invariant_in_redef.nit:19)
Check failure on line 0 in tests.niti.contracts.invariant
github-actions / Test Results
contracts_invariant_inheritance (tests.niti.contracts.invariant) with error
tests-full-niti/tests-niti.xml [took 0s]
Raw output
fail out/contracts_invariant_inheritance.res sav//contracts_invariant_inheritance.res
--- sav//contracts_invariant_inheritance.res 2024-08-16 23:29:55.920358213 +0000
+++ out/contracts_invariant_inheritance.res 2024-08-17 00:00:56.452620338 +0000
@@ -1,3 +1,2 @@
-Runtime error: Assert 'invariant(bar >= 10)' failed (contracts_invariant_inheritance.nit:18)
11
2
Check failure on line 0 in tests.niti.contracts.invariant
github-actions / Test Results
contracts_invariant_inheritance_multi (tests.niti.contracts.invariant) with error
tests-full-niti/tests-niti.xml [took 0s]
Raw output
fail out/contracts_invariant_inheritance_multi.res sav//contracts_invariant_inheritance_multi.res
--- sav//contracts_invariant_inheritance_multi.res 2024-08-16 23:29:55.920358213 +0000
+++ out/contracts_invariant_inheritance_multi.res 2024-08-17 00:00:57.247630697 +0000
@@ -1,4 +1,3 @@
-Runtime error: Assert 'invariant(bar >= 10)' failed (contracts_invariant_inheritance_multi.nit:19)
16
1.5
1
Check failure on line 0 in tests.niti.contracts.invariant
github-actions / Test Results
contracts_invariant_inheritance_multi_2 (tests.niti.contracts.invariant) with error
tests-full-niti/tests-niti.xml [took 0s]
Raw output
fail out/contracts_invariant_inheritance_multi_2.res sav//contracts_invariant_inheritance_multi_2.res
--- sav//contracts_invariant_inheritance_multi_2.res 2024-08-16 23:29:55.920358213 +0000
+++ out/contracts_invariant_inheritance_multi_2.res 2024-08-17 00:00:58.032640927 +0000
@@ -1,4 +1,3 @@
-Runtime error: Assert 'invariant(bazz)' failed (contracts_invariant_inheritance_multi_2.nit:19)
10
2.0
false
Check failure on line 0 in tests.nitce.contracts.invariant
github-actions / Test Results
contracts_invariant_defaultinit (tests.nitce.contracts.invariant) with error
tests-full-nitce/tests-nitce.xml [took 0s]
Raw output
fail out/contracts_invariant_defaultinit.res sav//contracts_invariant_defaultinit.res
--- sav//contracts_invariant_defaultinit.res 2024-08-16 23:29:57.946474320 +0000
+++ out/contracts_invariant_defaultinit.res 2024-08-16 23:48:41.815539384 +0000
@@ -1 +0,0 @@
-Runtime error: Assert 'invariant(i > 0)' failed (contracts_invariant_defaultinit.nit:16)
Check failure on line 0 in tests.nitce.contracts.invariant
github-actions / Test Results
contracts_invariant_diamond (tests.nitce.contracts.invariant) with error
tests-full-nitce/tests-nitce.xml [took 0s]
Raw output
fail out/contracts_invariant_diamond.res sav//contracts_invariant_diamond.res
--- sav//contracts_invariant_diamond.res 2024-08-16 23:29:57.946474320 +0000
+++ out/contracts_invariant_diamond.res 2024-08-16 23:48:43.598552294 +0000
@@ -1,2 +1 @@
-Runtime error: Assert 'invariant(bar > 12)' failed (contracts_invariant_diamond.nit:32)
11
Check failure on line 0 in tests.nitce.contracts.invariant
github-actions / Test Results
contracts_invariant_in_redef (tests.nitce.contracts.invariant) with error
tests-full-nitce/tests-nitce.xml [took 0s]
Raw output
fail out/contracts_invariant_in_redef.res sav//contracts_invariant_in_redef.res
--- sav//contracts_invariant_in_redef.res 2024-08-16 23:29:57.946474320 +0000
+++ out/contracts_invariant_in_redef.res 2024-08-16 23:48:45.766567992 +0000
@@ -1 +0,0 @@
-Runtime error: Assert 'invariant(false)' failed (contracts_invariant_in_redef.nit:19)
Check failure on line 0 in tests.nitce.contracts.invariant
github-actions / Test Results
contracts_invariant_inheritance (tests.nitce.contracts.invariant) with error
tests-full-nitce/tests-nitce.xml [took 0s]
Raw output
fail out/contracts_invariant_inheritance.res sav//contracts_invariant_inheritance.res
--- sav//contracts_invariant_inheritance.res 2024-08-16 23:29:57.946474320 +0000
+++ out/contracts_invariant_inheritance.res 2024-08-16 23:48:47.516580662 +0000
@@ -1,3 +1,2 @@
-Runtime error: Assert 'invariant(bar >= 10)' failed (contracts_invariant_inheritance.nit:18)
11
2
Check failure on line 0 in tests.nitce.contracts.invariant
github-actions / Test Results
contracts_invariant_inheritance_multi (tests.nitce.contracts.invariant) with error
tests-full-nitce/tests-nitce.xml [took 0s]
Raw output
fail out/contracts_invariant_inheritance_multi.res sav//contracts_invariant_inheritance_multi.res
--- sav//contracts_invariant_inheritance_multi.res 2024-08-16 23:29:57.946474320 +0000
+++ out/contracts_invariant_inheritance_multi.res 2024-08-16 23:48:49.297593554 +0000
@@ -1,4 +1,3 @@
-Runtime error: Assert 'invariant(bar >= 10)' failed (contracts_invariant_inheritance_multi.nit:19)
16
1.5
1
Check failure on line 0 in tests.nitce.contracts.invariant
github-actions / Test Results
contracts_invariant_inheritance_multi_2 (tests.nitce.contracts.invariant) with error
tests-full-nitce/tests-nitce.xml [took 0s]
Raw output
fail out/contracts_invariant_inheritance_multi_2.res sav//contracts_invariant_inheritance_multi_2.res
--- sav//contracts_invariant_inheritance_multi_2.res 2024-08-16 23:29:57.946474320 +0000
+++ out/contracts_invariant_inheritance_multi_2.res 2024-08-16 23:48:51.011605961 +0000
@@ -1,4 +1,3 @@
-Runtime error: Assert 'invariant(bazz)' failed (contracts_invariant_inheritance_multi_2.nit:19)
10
2.0
false
Check failure on line 0 in tests.nitcs.contracts.invariant
github-actions / Test Results
contracts_invariant_defaultinit (tests.nitcs.contracts.invariant) with error
tests-full-nitcs/tests-nitcs.xml [took 0s]
Raw output
fail out/contracts_invariant_defaultinit.res sav//contracts_invariant_defaultinit.res
--- sav//contracts_invariant_defaultinit.res 2024-08-16 23:29:59.450721691 +0000
+++ out/contracts_invariant_defaultinit.res 2024-08-16 23:48:24.503181253 +0000
@@ -1 +0,0 @@
-Runtime error: Assert 'invariant(i > 0)' failed (contracts_invariant_defaultinit.nit:16)
Check failure on line 0 in tests.nitcs.contracts.invariant
github-actions / Test Results
contracts_invariant_diamond (tests.nitcs.contracts.invariant) with error
tests-full-nitcs/tests-nitcs.xml [took 0s]
Raw output
fail out/contracts_invariant_diamond.res sav//contracts_invariant_diamond.res
--- sav//contracts_invariant_diamond.res 2024-08-16 23:29:59.450721691 +0000
+++ out/contracts_invariant_diamond.res 2024-08-16 23:48:26.049186396 +0000
@@ -1,2 +1 @@
-Runtime error: Assert 'invariant(bar > 12)' failed (contracts_invariant_diamond.nit:32)
11
Check failure on line 0 in tests.nitcs.contracts.invariant
github-actions / Test Results
contracts_invariant_in_redef (tests.nitcs.contracts.invariant) with error
tests-full-nitcs/tests-nitcs.xml [took 0s]
Raw output
fail out/contracts_invariant_in_redef.res sav//contracts_invariant_in_redef.res
--- sav//contracts_invariant_in_redef.res 2024-08-16 23:29:59.450721691 +0000
+++ out/contracts_invariant_in_redef.res 2024-08-16 23:48:28.208193281 +0000
@@ -1 +0,0 @@
-Runtime error: Assert 'invariant(false)' failed (contracts_invariant_in_redef.nit:19)
Check failure on line 0 in tests.nitcs.contracts.invariant
github-actions / Test Results
contracts_invariant_inheritance (tests.nitcs.contracts.invariant) with error
tests-full-nitcs/tests-nitcs.xml [took 0s]
Raw output
fail out/contracts_invariant_inheritance.res sav//contracts_invariant_inheritance.res
--- sav//contracts_invariant_inheritance.res 2024-08-16 23:29:59.450721691 +0000
+++ out/contracts_invariant_inheritance.res 2024-08-16 23:48:29.740198166 +0000
@@ -1,3 +1,2 @@
-Runtime error: Assert 'invariant(bar >= 10)' failed (contracts_invariant_inheritance.nit:18)
11
2
Check failure on line 0 in tests.nitcs.contracts.invariant
github-actions / Test Results
contracts_invariant_inheritance_multi (tests.nitcs.contracts.invariant) with error
tests-full-nitcs/tests-nitcs.xml [took 0s]
Raw output
fail out/contracts_invariant_inheritance_multi.res sav//contracts_invariant_inheritance_multi.res
--- sav//contracts_invariant_inheritance_multi.res 2024-08-16 23:29:59.450721691 +0000
+++ out/contracts_invariant_inheritance_multi.res 2024-08-16 23:48:31.275203062 +0000
@@ -1,4 +1,3 @@
-Runtime error: Assert 'invariant(bar >= 10)' failed (contracts_invariant_inheritance_multi.nit:19)
16
1.5
1
Check failure on line 0 in tests.nitcs.contracts.invariant
github-actions / Test Results
contracts_invariant_inheritance_multi_2 (tests.nitcs.contracts.invariant) with error
tests-full-nitcs/tests-nitcs.xml [took 0s]
Raw output
fail out/contracts_invariant_inheritance_multi_2.res sav//contracts_invariant_inheritance_multi_2.res
--- sav//contracts_invariant_inheritance_multi_2.res 2024-08-16 23:29:59.450721691 +0000
+++ out/contracts_invariant_inheritance_multi_2.res 2024-08-16 23:48:32.829208017 +0000
@@ -1,4 +1,3 @@
-Runtime error: Assert 'invariant(bazz)' failed (contracts_invariant_inheritance_multi_2.nit:19)
10
2.0
false
Check failure on line 0 in tests.nitcg.contracts.invariant
github-actions / Test Results
contracts_invariant_defaultinit (tests.nitcg.contracts.invariant) with error
tests-full-nitcg/tests-nitcg.xml [took 0s]
Raw output
fail out/contracts_invariant_defaultinit.res sav//contracts_invariant_defaultinit.res
--- sav//contracts_invariant_defaultinit.res 2024-08-16 23:30:05.992869646 +0000
+++ out/contracts_invariant_defaultinit.res 2024-08-16 23:45:48.200650020 +0000
@@ -1 +0,0 @@
-Runtime error: Assert 'invariant(i > 0)' failed (contracts_invariant_defaultinit.nit:16)
Check failure on line 0 in tests.nitcg.contracts.invariant
github-actions / Test Results
contracts_invariant_diamond (tests.nitcg.contracts.invariant) with error
tests-full-nitcg/tests-nitcg.xml [took 0s]
Raw output
fail out/contracts_invariant_diamond.res sav//contracts_invariant_diamond.res
--- sav//contracts_invariant_diamond.res 2024-08-16 23:30:05.992869646 +0000
+++ out/contracts_invariant_diamond.res 2024-08-16 23:45:51.115674025 +0000
@@ -1,2 +1 @@
-Runtime error: Assert 'invariant(bar > 12)' failed (contracts_invariant_diamond.nit:32)
11
Check failure on line 0 in tests.nitcg.contracts.invariant
github-actions / Test Results
contracts_invariant_in_redef (tests.nitcg.contracts.invariant) with error
tests-full-nitcg/tests-nitcg.xml [took 0s]
Raw output
fail out/contracts_invariant_in_redef.res sav//contracts_invariant_in_redef.res
--- sav//contracts_invariant_in_redef.res 2024-08-16 23:30:05.992869646 +0000
+++ out/contracts_invariant_in_redef.res 2024-08-16 23:45:54.033698055 +0000
@@ -1 +0,0 @@
-Runtime error: Assert 'invariant(false)' failed (contracts_invariant_in_redef.nit:19)
Check failure on line 0 in tests.nitcg.contracts.invariant
github-actions / Test Results
contracts_invariant_inheritance (tests.nitcg.contracts.invariant) with error
tests-full-nitcg/tests-nitcg.xml [took 0s]
Raw output
fail out/contracts_invariant_inheritance.res sav//contracts_invariant_inheritance.res
--- sav//contracts_invariant_inheritance.res 2024-08-16 23:30:05.992869646 +0000
+++ out/contracts_invariant_inheritance.res 2024-08-16 23:45:56.950722158 +0000
@@ -1,3 +1,2 @@
-Runtime error: Assert 'invariant(bar >= 10)' failed (contracts_invariant_inheritance.nit:18)
11
2
Check failure on line 0 in tests.nitcg.contracts.invariant
github-actions / Test Results
contracts_invariant_inheritance_multi (tests.nitcg.contracts.invariant) with error
tests-full-nitcg/tests-nitcg.xml [took 0s]
Raw output
fail out/contracts_invariant_inheritance_multi.res sav//contracts_invariant_inheritance_multi.res
--- sav//contracts_invariant_inheritance_multi.res 2024-08-16 23:30:05.992869646 +0000
+++ out/contracts_invariant_inheritance_multi.res 2024-08-16 23:45:59.849746190 +0000
@@ -1,4 +1,3 @@
-Runtime error: Assert 'invariant(bar >= 10)' failed (contracts_invariant_inheritance_multi.nit:19)
16
1.5
1
Check failure on line 0 in tests.nitcg.contracts.invariant
github-actions / Test Results
contracts_invariant_inheritance_multi_2 (tests.nitcg.contracts.invariant) with error
tests-full-nitcg/tests-nitcg.xml [took 0s]
Raw output
fail out/contracts_invariant_inheritance_multi_2.res sav//contracts_invariant_inheritance_multi_2.res
--- sav//contracts_invariant_inheritance_multi_2.res 2024-08-16 23:30:05.992869646 +0000
+++ out/contracts_invariant_inheritance_multi_2.res 2024-08-16 23:46:02.735770115 +0000
@@ -1,4 +1,3 @@
-Runtime error: Assert 'invariant(bazz)' failed (contracts_invariant_inheritance_multi_2.nit:19)
10
2.0
false
Check failure on line 0 in tests.nitcsg.contracts.invariant
github-actions / Test Results
contracts_invariant_defaultinit (tests.nitcsg.contracts.invariant) with error
tests-full-nitcsg/tests-nitcsg.xml [took 0s]
Raw output
fail out/contracts_invariant_defaultinit.res sav//contracts_invariant_defaultinit.res
--- sav//contracts_invariant_defaultinit.res 2024-08-16 23:29:54.911533400 +0000
+++ out/contracts_invariant_defaultinit.res 2024-08-17 00:03:38.254125979 +0000
@@ -1 +0,0 @@
-Runtime error: Assert 'invariant(i > 0)' failed (contracts_invariant_defaultinit.nit:16)