tests/sav: Update tests results

Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>

diff --git a/tests/sav/contracts.res b/tests/sav/contracts.res
index fe6b723..c9b0553 100644 (file)
--- a/tests/sav/contracts.res
+++ b/tests/sav/contracts.res
@@ -1 +1 @@
-Runtime error: Assert 'expect' failed (contracts.nit:31)
+Runtime error: Assert 'expect(not bool)' failed (contracts.nit:31)

diff --git a/tests/sav/contracts_abstract.res b/tests/sav/contracts_abstract.res
index 5f6178c..738f3f0 100644 (file)
--- a/tests/sav/contracts_abstract.res
+++ b/tests/sav/contracts_abstract.res
@@ -1 +1 @@
-Runtime error: Assert 'ensure' failed (contracts_abstract.nit:26)
+Runtime error: Assert 'ensure(y <= 10.0, y == 42.0)' failed (contracts_abstract.nit:26)

diff --git a/tests/sav/contracts_add.res b/tests/sav/contracts_add.res
index a353fc9..6d21df2 100644 (file)
--- a/tests/sav/contracts_add.res
+++ b/tests/sav/contracts_add.res
@@ -1,2 +1,2 @@
 contracts_add.nit:46,3--16: Useless contract: No contract defined at the introduction of the method
-Runtime error: Assert 'ensure' failed (contracts_add.nit:39)
+Runtime error: Assert 'ensure(x == 0)' failed (contracts_add.nit:39)

diff --git a/tests/sav/contracts_constructor.res b/tests/sav/contracts_constructor.res
index f0801df..94dfe03 100644 (file)
--- a/tests/sav/contracts_constructor.res
+++ b/tests/sav/contracts_constructor.res
@@ -1 +1 @@
-Runtime error: Assert 'expect' failed (contracts_constructor.nit:20)
+Runtime error: Assert 'expect(test > 10)' failed (contracts_constructor.nit:20)

diff --git a/tests/sav/contracts_ensures.res b/tests/sav/contracts_ensures.res
index 5e3bffa..34f0938 100644 (file)
--- a/tests/sav/contracts_ensures.res
+++ b/tests/sav/contracts_ensures.res
@@ -1 +1 @@
-Runtime error: Assert 'ensure' failed (contracts_ensures.nit:29)
+Runtime error: Assert 'ensure(not bool)' failed (contracts_ensures.nit:29)

diff --git a/tests/sav/contracts_ensures_1.res b/tests/sav/contracts_ensures_1.res
index c947107..698c7dc 100644 (file)
--- a/tests/sav/contracts_ensures_1.res
+++ b/tests/sav/contracts_ensures_1.res
@@ -1,3 +1,3 @@
-Runtime error: Assert 'ensure' failed (contracts_ensures_1.nit:20)
+Runtime error: Assert 'ensure(x > 0)' failed (contracts_ensures_1.nit:20)
 Good
 Fail

diff --git a/tests/sav/contracts_ensures_2.res b/tests/sav/contracts_ensures_2.res
index 982613a..213d864 100644 (file)
--- a/tests/sav/contracts_ensures_2.res
+++ b/tests/sav/contracts_ensures_2.res
@@ -1,4 +1,4 @@
-Runtime error: Assert 'ensure' failed (contracts_ensures_2.nit:31)
+Runtime error: Assert 'ensure(y == 1.2)' failed (contracts_ensures_2.nit:31)
 Good
 Good
 Good

diff --git a/tests/sav/contracts_ensures_3.res b/tests/sav/contracts_ensures_3.res
index 11ebcc5..06c56eb 100644 (file)
--- a/tests/sav/contracts_ensures_3.res
+++ b/tests/sav/contracts_ensures_3.res
@@ -1 +1 @@
-Runtime error: Assert 'ensure' failed (contracts_ensures_3.nit:20)
+Runtime error: Assert 'ensure(result > 0)' failed (contracts_ensures_3.nit:20)

diff --git a/tests/sav/contracts_ensures_4.res b/tests/sav/contracts_ensures_4.res
index e602695..6c8805e 100644 (file)
--- a/tests/sav/contracts_ensures_4.res
+++ b/tests/sav/contracts_ensures_4.res
@@ -1 +1 @@
-Runtime error: Assert 'ensure' failed (contracts_ensures_4.nit:31)
+Runtime error: Assert 'ensure(not result)' failed (contracts_ensures_4.nit:31)

diff --git a/tests/sav/contracts_ensures_sequence.res b/tests/sav/contracts_ensures_sequence.res
index 3cdcc71..b62c05a 100644 (file)
--- a/tests/sav/contracts_ensures_sequence.res
+++ b/tests/sav/contracts_ensures_sequence.res
@@ -1 +1 @@
-Runtime error: Assert 'ensure' failed (contracts_ensures_sequence.nit:18)
+Runtime error: Assert 'ensure(x > 2)' failed (contracts_ensures_sequence.nit:18)

diff --git a/tests/sav/contracts_error.res b/tests/sav/contracts_error.res
index 45e60a6..3847129 100644 (file)
--- a/tests/sav/contracts_error.res
+++ b/tests/sav/contracts_error.res
@@ -1,2 +1,2 @@
-contracts_error.nit:23,10--22: Error: expected an expression.
-contracts_error.nit:24,10--22: Error: expected an expression.
+contracts_error.nit:23,3--23: Error: expected an expression.
+contracts_error.nit:24,3--23: Error: expected an expression.

diff --git a/tests/sav/contracts_expects_1.res b/tests/sav/contracts_expects_1.res
index c265d14..555a497 100644 (file)
--- a/tests/sav/contracts_expects_1.res
+++ b/tests/sav/contracts_expects_1.res
@@ -1 +1 @@
-Runtime error: Assert 'expect' failed (contracts_expects_1.nit:20)
+Runtime error: Assert 'expect(x > 0)' failed (contracts_expects_1.nit:20)

diff --git a/tests/sav/contracts_generic_type.res b/tests/sav/contracts_generic_type.res
index 9c7f782..6d36851 100644 (file)
--- a/tests/sav/contracts_generic_type.res
+++ b/tests/sav/contracts_generic_type.res
@@ -1 +1 @@
-Runtime error: Assert 'expect' failed (contracts_generic_type.nit:33)
+Runtime error: Assert 'expect(x.length != 0)' failed (contracts_generic_type.nit:33)

diff --git a/tests/sav/contracts_inheritance.res b/tests/sav/contracts_inheritance.res
index 0abeba3..5736913 100644 (file)
--- a/tests/sav/contracts_inheritance.res
+++ b/tests/sav/contracts_inheritance.res
@@ -1,5 +1,5 @@
 contracts_inheritance.nit:58,6--9: Warning: conflicting property definitions for property `toto` in `MySubArray`: contracts_inheritance$MyArrayInt$toto contracts_inheritance$MyArrayInt2$toto
-Runtime error: Assert 'ensure' failed (contracts_inheritance.nit:32)
+Runtime error: Assert 'ensure(e == 12)' failed (contracts_inheritance.nit:32)
 toto MyArrayInt2
 toto MyArrayInt
 toto ArrayInt

diff --git a/tests/sav/contracts_same_contract.res b/tests/sav/contracts_same_contract.res
index 54afbe1..e69de29 100644 (file)
--- a/tests/sav/contracts_same_contract.res
+++ b/tests/sav/contracts_same_contract.res
@@ -1 +0,0 @@
-contracts_same_contract.nit:22,3--17: The method already has a defined `expect` contract at line 21

diff --git a/tests/sav/contracts_static.res b/tests/sav/contracts_static.res
index 95b94d6..445cb2e 100644 (file)
--- a/tests/sav/contracts_static.res
+++ b/tests/sav/contracts_static.res
@@ -1,2 +1,2 @@
-Runtime error: Assert 'ensure' failed (contracts_static.nit:29)
+Runtime error: Assert 'ensure(x > 10)' failed (contracts_static.nit:29)
 Error

diff --git a/tests/sav/contracts_virtual_type.res b/tests/sav/contracts_virtual_type.res
index 616e1d0..ada2d2b 100644 (file)
--- a/tests/sav/contracts_virtual_type.res
+++ b/tests/sav/contracts_virtual_type.res
@@ -1 +1 @@
-Runtime error: Assert 'expect' failed (contracts_virtual_type.nit:23)
+Runtime error: Assert 'expect(x == 1)' failed (contracts_virtual_type.nit:23)