From 527006df562ad81caecc4814b946bd86384eeb16 Mon Sep 17 00:00:00 2001 From: Florian Deljarry Date: Fri, 5 Jun 2020 16:02:39 -0400 Subject: [PATCH] tests/sav: Update tests results Signed-off-by: Florian Deljarry --- tests/sav/contracts.res | 2 +- tests/sav/contracts_abstract.res | 2 +- tests/sav/contracts_add.res | 2 +- tests/sav/contracts_constructor.res | 2 +- tests/sav/contracts_ensures.res | 2 +- tests/sav/contracts_ensures_1.res | 2 +- tests/sav/contracts_ensures_2.res | 2 +- tests/sav/contracts_ensures_3.res | 2 +- tests/sav/contracts_ensures_4.res | 2 +- tests/sav/contracts_ensures_sequence.res | 2 +- tests/sav/contracts_error.res | 4 ++-- tests/sav/contracts_expects_1.res | 2 +- tests/sav/contracts_generic_type.res | 2 +- tests/sav/contracts_inheritance.res | 2 +- tests/sav/contracts_same_contract.res | 1 - tests/sav/contracts_static.res | 2 +- tests/sav/contracts_virtual_type.res | 2 +- 17 files changed, 17 insertions(+), 18 deletions(-) diff --git a/tests/sav/contracts.res b/tests/sav/contracts.res index fe6b723..c9b0553 100644 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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) -- 1.7.9.5