clib: prefix runtime errors with "Runtime error"

and update tests

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/clib/nit_main.c b/clib/nit_main.c
index 800a76b..b972ae6 100644 (file)
--- a/clib/nit_main.c
+++ b/clib/nit_main.c
@@ -151,6 +151,7 @@ void nit_exit(int i) {
 }
 
 void nit_abort(const char* s, const char* msg, const char* loc, int line) {
+       fprintf(stderr, "Runtime error: ");
        fprintf(stderr, s, msg);
        fprintf(stderr, " (%s", loc);
        if (line != 0) fprintf(stderr, ":%d", line);

diff --git a/tests/sav/base_abort.sav b/tests/sav/base_abort.sav
index 62f254c..937211d 100644 (file)
--- a/tests/sav/base_abort.sav
+++ b/tests/sav/base_abort.sav
@@ -1 +1 @@
-Aborted (base_abort.nit:21)
+Runtime error: Aborted (base_abort.nit:21)

diff --git a/tests/sav/base_abstract_fun_alt1.sav b/tests/sav/base_abstract_fun_alt1.sav
index eaefa2b..2324a8d 100644 (file)
--- a/tests/sav/base_abstract_fun_alt1.sav
+++ b/tests/sav/base_abstract_fun_alt1.sav
@@ -1,2 +1,2 @@
 1
-Deferred method called (alt/base_abstract_fun_alt1.nit:18)
+Runtime error: Deferred method called (alt/base_abstract_fun_alt1.nit:18)

diff --git a/tests/sav/base_as_cast_alt1.sav b/tests/sav/base_as_cast_alt1.sav
index ae868cc..2b07575 100644 (file)
--- a/tests/sav/base_as_cast_alt1.sav
+++ b/tests/sav/base_as_cast_alt1.sav
@@ -3,4 +3,4 @@ alt/base_as_cast_alt1.nit:52,1--12: Warning: Expression is already a Object.
 0
 0
 0
-Cast failed (alt/base_as_cast_alt1.nit:45)
+Runtime error: Cast failed (alt/base_as_cast_alt1.nit:45)

diff --git a/tests/sav/base_as_cast_alt2.sav b/tests/sav/base_as_cast_alt2.sav
index 64b54ad..0184469 100644 (file)
--- a/tests/sav/base_as_cast_alt2.sav
+++ b/tests/sav/base_as_cast_alt2.sav
@@ -3,4 +3,4 @@ alt/base_as_cast_alt2.nit:52,1--12: Warning: Expression is already a Object.
 0
 0
 0
-Cast failed (alt/base_as_cast_alt2.nit:46)
+Runtime error: Cast failed (alt/base_as_cast_alt2.nit:46)

diff --git a/tests/sav/base_as_cast_alt3.sav b/tests/sav/base_as_cast_alt3.sav
index a8b0e5f..af1fdd0 100644 (file)
--- a/tests/sav/base_as_cast_alt3.sav
+++ b/tests/sav/base_as_cast_alt3.sav
@@ -3,4 +3,4 @@ alt/base_as_cast_alt3.nit:52,1--12: Warning: Expression is already a Object.
 0
 0
 0
-Cast failed (alt/base_as_cast_alt3.nit:47)
+Runtime error: Cast failed (alt/base_as_cast_alt3.nit:47)

diff --git a/tests/sav/base_as_cast_alt4.sav b/tests/sav/base_as_cast_alt4.sav
index 4c0f3c4..ed7c0db 100644 (file)
--- a/tests/sav/base_as_cast_alt4.sav
+++ b/tests/sav/base_as_cast_alt4.sav
@@ -3,4 +3,4 @@ alt/base_as_cast_alt4.nit:52,1--12: Warning: Expression is already a Object.
 0
 0
 0
-Cast failed (alt/base_as_cast_alt4.nit:48)
+Runtime error: Cast failed (alt/base_as_cast_alt4.nit:48)

diff --git a/tests/sav/base_as_cast_alt5.sav b/tests/sav/base_as_cast_alt5.sav
index ba014ce..daf3c03 100644 (file)
--- a/tests/sav/base_as_cast_alt5.sav
+++ b/tests/sav/base_as_cast_alt5.sav
@@ -9,4 +9,4 @@ alt/base_as_cast_alt5.nit:52,1--12: Warning: Expression is already a Object.
 2
 2
 2
-Cast failed (alt/base_as_cast_alt5.nit:57)
+Runtime error: Cast failed (alt/base_as_cast_alt5.nit:57)

diff --git a/tests/sav/base_as_cast_alt6.sav b/tests/sav/base_as_cast_alt6.sav
index 171d206..c8b3d4c 100644 (file)
--- a/tests/sav/base_as_cast_alt6.sav
+++ b/tests/sav/base_as_cast_alt6.sav
@@ -9,4 +9,4 @@ alt/base_as_cast_alt6.nit:52,1--12: Warning: Expression is already a Object.
 2
 2
 2
-Cast failed (alt/base_as_cast_alt6.nit:58)
+Runtime error: Cast failed (alt/base_as_cast_alt6.nit:58)

diff --git a/tests/sav/base_as_notnull_alt5.sav b/tests/sav/base_as_notnull_alt5.sav
index b9948d9..bfb13b9 100644 (file)
--- a/tests/sav/base_as_notnull_alt5.sav
+++ b/tests/sav/base_as_notnull_alt5.sav
@@ -12,4 +12,4 @@ alt/base_as_notnull_alt5.nit:52,6: Warning: 'as(not null)' on non nullable type.
 3
 6
 
-Cast failed (alt/base_as_notnull_alt5.nit:59)
+Runtime error: Cast failed (alt/base_as_notnull_alt5.nit:59)

diff --git a/tests/sav/base_as_notnull_alt6.sav b/tests/sav/base_as_notnull_alt6.sav
index ee2fa2a..1f7d769 100644 (file)
--- a/tests/sav/base_as_notnull_alt6.sav
+++ b/tests/sav/base_as_notnull_alt6.sav
@@ -12,4 +12,4 @@ alt/base_as_notnull_alt6.nit:52,6: Warning: 'as(not null)' on non nullable type.
 3
 6
 
-Cast failed (alt/base_as_notnull_alt6.nit:60)
+Runtime error: Cast failed (alt/base_as_notnull_alt6.nit:60)

diff --git a/tests/sav/base_assert2_alt3.sav b/tests/sav/base_assert2_alt3.sav
index 84ad642..2120bda 100644 (file)
--- a/tests/sav/base_assert2_alt3.sav
+++ b/tests/sav/base_assert2_alt3.sav
@@ -1,3 +1,3 @@
 false
 1
-Assert failed (alt/base_assert2_alt3.nit:30)
+Runtime error: Assert failed (alt/base_assert2_alt3.nit:30)

diff --git a/tests/sav/base_assert2_alt4.sav b/tests/sav/base_assert2_alt4.sav
index f161e4f..f546f5c 100644 (file)
--- a/tests/sav/base_assert2_alt4.sav
+++ b/tests/sav/base_assert2_alt4.sav
@@ -8,4 +8,4 @@ true
 false
 1
 2
-Assert failed (alt/base_assert2_alt4.nit:43)
+Runtime error: Assert failed (alt/base_assert2_alt4.nit:43)

diff --git a/tests/sav/base_assert_alt1.sav b/tests/sav/base_assert_alt1.sav
index 299b887..f0c00c2 100644 (file)
--- a/tests/sav/base_assert_alt1.sav
+++ b/tests/sav/base_assert_alt1.sav
@@ -1 +1 @@
-Assert failed (alt/base_assert_alt1.nit:22)
+Runtime error: Assert failed (alt/base_assert_alt1.nit:22)

diff --git a/tests/sav/base_assert_alt3.sav b/tests/sav/base_assert_alt3.sav
index a0ac80a..8df3839 100644 (file)
--- a/tests/sav/base_assert_alt3.sav
+++ b/tests/sav/base_assert_alt3.sav
@@ -1 +1 @@
-Assert 'id' failed (alt/base_assert_alt3.nit:25)
+Runtime error: Assert 'id' failed (alt/base_assert_alt3.nit:25)

diff --git a/tests/sav/base_assert_alt4.sav b/tests/sav/base_assert_alt4.sav
index 589c810..3571e60 100644 (file)
--- a/tests/sav/base_assert_alt4.sav
+++ b/tests/sav/base_assert_alt4.sav
@@ -1,2 +1,2 @@
 0
-Assert failed (alt/base_assert_alt4.nit:27)
+Runtime error: Assert failed (alt/base_assert_alt4.nit:27)

diff --git a/tests/sav/base_assert_alt5.sav b/tests/sav/base_assert_alt5.sav
index 5787eb7..d23d861 100644 (file)
--- a/tests/sav/base_assert_alt5.sav
+++ b/tests/sav/base_assert_alt5.sav
@@ -1 +1 @@
-Aborted (alt/base_assert_alt5.nit:28)
+Runtime error: Aborted (alt/base_assert_alt5.nit:28)

diff --git a/tests/sav/base_attr_gen.sav b/tests/sav/base_attr_gen.sav
index b6cd10a..56618fe 100644 (file)
--- a/tests/sav/base_attr_gen.sav
+++ b/tests/sav/base_attr_gen.sav
@@ -1 +1 @@
-Reciever is null (base_attr_gen.nit:8)
+Runtime error: Reciever is null (base_attr_gen.nit:8)

diff --git a/tests/sav/base_attr_gen_alt1.fail b/tests/sav/base_attr_gen_alt1.fail
index 2beb813..f41f93e 100644 (file)
--- a/tests/sav/base_attr_gen_alt1.fail
+++ b/tests/sav/base_attr_gen_alt1.fail
@@ -1 +1 @@
-Reciever is null (alt/base_attr_gen_alt1.nit:8)
+Runtime error: Reciever is null (alt/base_attr_gen_alt1.nit:8)

diff --git a/tests/sav/base_attr_isset_alt3.sav b/tests/sav/base_attr_isset_alt3.sav
index bf64a77..c8d3ea5 100644 (file)
--- a/tests/sav/base_attr_isset_alt3.sav
+++ b/tests/sav/base_attr_isset_alt3.sav
@@ -7,4 +7,4 @@ false
 3
 true
 false
-Uninitialized attribute _a2 (alt/base_attr_isset_alt3.nit)
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_isset_alt3.nit)

diff --git a/tests/sav/base_attr_isset_alt4.sav b/tests/sav/base_attr_isset_alt4.sav
index ceb3d20..2b42de3 100644 (file)
--- a/tests/sav/base_attr_isset_alt4.sav
+++ b/tests/sav/base_attr_isset_alt4.sav
@@ -7,4 +7,4 @@ false
 3
 true
 false
-Uninitialized attribute _a2 (alt/base_attr_isset_alt4.nit)
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_isset_alt4.nit)

diff --git a/tests/sav/base_attr_nullable_alt1.sav b/tests/sav/base_attr_nullable_alt1.sav
index a45e970..c7cab54 100644 (file)
--- a/tests/sav/base_attr_nullable_alt1.sav
+++ b/tests/sav/base_attr_nullable_alt1.sav
@@ -1 +1 @@
-Uninitialized attribute _a1 (alt/base_attr_nullable_alt1.nit:38)
+Runtime error: Uninitialized attribute _a1 (alt/base_attr_nullable_alt1.nit:38)

diff --git a/tests/sav/base_attr_nullable_alt2.sav b/tests/sav/base_attr_nullable_alt2.sav
index 5424a77..72db1b2 100644 (file)
--- a/tests/sav/base_attr_nullable_alt2.sav
+++ b/tests/sav/base_attr_nullable_alt2.sav
@@ -1,2 +1,2 @@
 1
-Uninitialized attribute _a2 (alt/base_attr_nullable_alt2.nit:35)
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_alt2.nit:35)

diff --git a/tests/sav/base_attr_nullable_alt3.sav b/tests/sav/base_attr_nullable_alt3.sav
index dd5d170..b6f38c8 100644 (file)
--- a/tests/sav/base_attr_nullable_alt3.sav
+++ b/tests/sav/base_attr_nullable_alt3.sav
@@ -1 +1 @@
-Uninitialized attribute _a1 (alt/base_attr_nullable_alt3.nit:64)
+Runtime error: Uninitialized attribute _a1 (alt/base_attr_nullable_alt3.nit:64)

diff --git a/tests/sav/base_attr_nullable_alt4.sav b/tests/sav/base_attr_nullable_alt4.sav
index 3595b02..d6f80e3 100644 (file)
--- a/tests/sav/base_attr_nullable_alt4.sav
+++ b/tests/sav/base_attr_nullable_alt4.sav
@@ -1,2 +1,2 @@
 10
-Uninitialized attribute _a2 (alt/base_attr_nullable_alt4.nit:45)
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_alt4.nit:45)

diff --git a/tests/sav/base_attr_nullable_alt5.sav b/tests/sav/base_attr_nullable_alt5.sav
index 74c1498..575932a 100644 (file)
--- a/tests/sav/base_attr_nullable_alt5.sav
+++ b/tests/sav/base_attr_nullable_alt5.sav
@@ -1,3 +1,3 @@
 10
 20
-Uninitialized attribute _a3 (alt/base_attr_nullable_alt5.nit:66)
+Runtime error: Uninitialized attribute _a3 (alt/base_attr_nullable_alt5.nit:66)

diff --git a/tests/sav/base_attr_nullable_int_alt1.sav b/tests/sav/base_attr_nullable_int_alt1.sav
index 3ce8ed7..a5b1357 100644 (file)
--- a/tests/sav/base_attr_nullable_int_alt1.sav
+++ b/tests/sav/base_attr_nullable_int_alt1.sav
@@ -1 +1 @@
-Uninitialized attribute _a1 (alt/base_attr_nullable_int_alt1.nit:32)
+Runtime error: Uninitialized attribute _a1 (alt/base_attr_nullable_int_alt1.nit:32)

diff --git a/tests/sav/base_attr_nullable_int_alt2.sav b/tests/sav/base_attr_nullable_int_alt2.sav
index b7051cd..b9e4c9b 100644 (file)
--- a/tests/sav/base_attr_nullable_int_alt2.sav
+++ b/tests/sav/base_attr_nullable_int_alt2.sav
@@ -1,2 +1,2 @@
 1
-Uninitialized attribute _a2 (alt/base_attr_nullable_int_alt2.nit:29)
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_int_alt2.nit:29)

diff --git a/tests/sav/base_attr_nullable_int_alt3.sav b/tests/sav/base_attr_nullable_int_alt3.sav
index b8f9b5b..86af03e 100644 (file)
--- a/tests/sav/base_attr_nullable_int_alt3.sav
+++ b/tests/sav/base_attr_nullable_int_alt3.sav
@@ -1 +1 @@
-Uninitialized attribute _a1 (alt/base_attr_nullable_int_alt3.nit:58)
+Runtime error: Uninitialized attribute _a1 (alt/base_attr_nullable_int_alt3.nit:58)

diff --git a/tests/sav/base_attr_nullable_int_alt4.sav b/tests/sav/base_attr_nullable_int_alt4.sav
index 3d01f24..f110a03 100644 (file)
--- a/tests/sav/base_attr_nullable_int_alt4.sav
+++ b/tests/sav/base_attr_nullable_int_alt4.sav
@@ -1,2 +1,2 @@
 10
-Uninitialized attribute _a2 (alt/base_attr_nullable_int_alt4.nit:39)
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_int_alt4.nit:39)

diff --git a/tests/sav/base_attr_nullable_int_alt5.sav b/tests/sav/base_attr_nullable_int_alt5.sav
index b526ba0..e03cda0 100644 (file)
--- a/tests/sav/base_attr_nullable_int_alt5.sav
+++ b/tests/sav/base_attr_nullable_int_alt5.sav
@@ -1,3 +1,3 @@
 10
 20
-Uninitialized attribute _a3 (alt/base_attr_nullable_int_alt5.nit:60)
+Runtime error: Uninitialized attribute _a3 (alt/base_attr_nullable_int_alt5.nit:60)

diff --git a/tests/sav/base_closure_break_default2_alt3.sav b/tests/sav/base_closure_break_default2_alt3.sav
index 7885e2f..a023f0c 100644 (file)
--- a/tests/sav/base_closure_break_default2_alt3.sav
+++ b/tests/sav/base_closure_break_default2_alt3.sav
@@ -3,4 +3,4 @@
 2
 0
 1
-Aborted (alt/base_closure_break_default2_alt3.nit:25)
+Runtime error: Aborted (alt/base_closure_break_default2_alt3.nit:25)

diff --git a/tests/sav/base_closure_break_default_alt3.sav b/tests/sav/base_closure_break_default_alt3.sav
index cc73dd3..cb84d2b 100644 (file)
--- a/tests/sav/base_closure_break_default_alt3.sav
+++ b/tests/sav/base_closure_break_default_alt3.sav
@@ -3,4 +3,4 @@
 2
 0
 1
-Aborted (alt/base_closure_break_default_alt3.nit:25)
+Runtime error: Aborted (alt/base_closure_break_default_alt3.nit:25)

diff --git a/tests/sav/base_closure_default1_alt3.sav b/tests/sav/base_closure_default1_alt3.sav
index 728e006..f6ba938 100644 (file)
--- a/tests/sav/base_closure_default1_alt3.sav
+++ b/tests/sav/base_closure_default1_alt3.sav
@@ -4,4 +4,4 @@
 3
 0
 1
-Aborted (alt/base_closure_default1_alt3.nit:25)
+Runtime error: Aborted (alt/base_closure_default1_alt3.nit:25)

diff --git a/tests/sav/base_closure_default2_alt3.sav b/tests/sav/base_closure_default2_alt3.sav
index 59f2fd6..226f40f 100644 (file)
--- a/tests/sav/base_closure_default2_alt3.sav
+++ b/tests/sav/base_closure_default2_alt3.sav
@@ -4,4 +4,4 @@
 3
 0
 1
-Aborted (alt/base_closure_default2_alt3.nit:25)
+Runtime error: Aborted (alt/base_closure_default2_alt3.nit:25)

diff --git a/tests/sav/base_closure_default3_alt3.sav b/tests/sav/base_closure_default3_alt3.sav
index 9f2a8d6..34838b6 100644 (file)
--- a/tests/sav/base_closure_default3_alt3.sav
+++ b/tests/sav/base_closure_default3_alt3.sav
@@ -4,4 +4,4 @@
 3
 0
 1
-Aborted (alt/base_closure_default3_alt3.nit:25)
+Runtime error: Aborted (alt/base_closure_default3_alt3.nit:25)

diff --git a/tests/sav/base_closure_default4_alt3.sav b/tests/sav/base_closure_default4_alt3.sav
index d82f46b..6c5fac2 100644 (file)
--- a/tests/sav/base_closure_default4_alt3.sav
+++ b/tests/sav/base_closure_default4_alt3.sav
@@ -4,4 +4,4 @@
 3
 0
 1
-Aborted (alt/base_closure_default4_alt3.nit:25)
+Runtime error: Aborted (alt/base_closure_default4_alt3.nit:25)

diff --git a/tests/sav/base_conflict_class_name_alt1.sav b/tests/sav/base_conflict_class_name_alt1.sav
index acb8ef9..6d32c6d 100644 (file)
--- a/tests/sav/base_conflict_class_name_alt1.sav
+++ b/tests/sav/base_conflict_class_name_alt1.sav
@@ -1,3 +1,3 @@
 1
 2
-Cast failed (base_conflict_class_name_submodule1.nit:22)
+Runtime error: Cast failed (base_conflict_class_name_submodule1.nit:22)

diff --git a/tests/sav/base_conflict_class_name_alt2.sav b/tests/sav/base_conflict_class_name_alt2.sav
index 4bf2c51..880a2be 100644 (file)
--- a/tests/sav/base_conflict_class_name_alt2.sav
+++ b/tests/sav/base_conflict_class_name_alt2.sav
@@ -1,3 +1,3 @@
 1
 2
-Cast failed (base_conflict_class_name_submodule2.nit:22)
+Runtime error: Cast failed (base_conflict_class_name_submodule2.nit:22)

diff --git a/tests/sav/base_conflict_submodule_name_alt1.sav b/tests/sav/base_conflict_submodule_name_alt1.sav
index e577bb8..06e5d4a 100644 (file)
--- a/tests/sav/base_conflict_submodule_name_alt1.sav
+++ b/tests/sav/base_conflict_submodule_name_alt1.sav
@@ -1,3 +1,3 @@
 1
 2
-Cast failed (base_conflict_submodule_name_submodule1/submodule.nit:22)
+Runtime error: Cast failed (base_conflict_submodule_name_submodule1/submodule.nit:22)

diff --git a/tests/sav/base_conflict_submodule_name_alt2.sav b/tests/sav/base_conflict_submodule_name_alt2.sav
index ab54051..8c77cbc 100644 (file)
--- a/tests/sav/base_conflict_submodule_name_alt2.sav
+++ b/tests/sav/base_conflict_submodule_name_alt2.sav
@@ -1,3 +1,3 @@
 1
 2
-Cast failed (base_conflict_submodule_name_submodule2/submodule.nit:22)
+Runtime error: Cast failed (base_conflict_submodule_name_submodule2/submodule.nit:22)

diff --git a/tests/sav/base_isa_cast_alt6.sav b/tests/sav/base_isa_cast_alt6.sav
index d3b5f6d..5054959 100644 (file)
--- a/tests/sav/base_isa_cast_alt6.sav
+++ b/tests/sav/base_isa_cast_alt6.sav
@@ -1 +1 @@
-Assert failed (alt/base_isa_cast_alt6.nit:58)
+Runtime error: Assert failed (alt/base_isa_cast_alt6.nit:58)

diff --git a/tests/sav/base_isa_cast_self_alt6.sav b/tests/sav/base_isa_cast_self_alt6.sav
index 85d3b82..116eea3 100644 (file)
--- a/tests/sav/base_isa_cast_self_alt6.sav
+++ b/tests/sav/base_isa_cast_self_alt6.sav
@@ -1 +1 @@
-Assert failed (alt/base_isa_cast_self_alt6.nit:44)
+Runtime error: Assert failed (alt/base_isa_cast_self_alt6.nit:44)

diff --git a/tests/sav/base_primitive_null_alt1.sav b/tests/sav/base_primitive_null_alt1.sav
index 4118054..1c1c82e 100644 (file)
--- a/tests/sav/base_primitive_null_alt1.sav
+++ b/tests/sav/base_primitive_null_alt1.sav
@@ -3,4 +3,4 @@ true
 true
 true
 true
-Reciever is null (alt/base_primitive_null_alt1.nit:34)
+Runtime error: Reciever is null (alt/base_primitive_null_alt1.nit:34)

diff --git a/tests/sav/base_primitive_null_alt2.sav b/tests/sav/base_primitive_null_alt2.sav
index 74b4b58..9003e83 100644 (file)
--- a/tests/sav/base_primitive_null_alt2.sav
+++ b/tests/sav/base_primitive_null_alt2.sav
@@ -8,4 +8,4 @@ true
 true
 true
 true
-Reciever is null (alt/base_primitive_null_alt2.nit:43)
+Runtime error: Reciever is null (alt/base_primitive_null_alt2.nit:43)

diff --git a/tests/sav/base_primitive_null_alt3.sav b/tests/sav/base_primitive_null_alt3.sav
index d054c09..6ef765e 100644 (file)
--- a/tests/sav/base_primitive_null_alt3.sav
+++ b/tests/sav/base_primitive_null_alt3.sav
@@ -13,4 +13,4 @@ true
 true
 true
 true
-Reciever is null (alt/base_primitive_null_alt3.nit:52)
+Runtime error: Reciever is null (alt/base_primitive_null_alt3.nit:52)

diff --git a/tests/sav/base_virtual_type_check_alt10.sav b/tests/sav/base_virtual_type_check_alt10.sav
index 7153c5b..c884c55 100644 (file)
--- a/tests/sav/base_virtual_type_check_alt10.sav
+++ b/tests/sav/base_virtual_type_check_alt10.sav
@@ -23,4 +23,4 @@ K<Ufalse
 L<Ttrue
 L<Utrue
 L<T
-Cast failed (alt/base_virtual_type_check_alt10.nit)
+Runtime error: Cast failed (alt/base_virtual_type_check_alt10.nit)

diff --git a/tests/sav/base_virtual_type_check_alt8.sav b/tests/sav/base_virtual_type_check_alt8.sav
index bad2b10..e7cfcb1 100644 (file)
--- a/tests/sav/base_virtual_type_check_alt8.sav
+++ b/tests/sav/base_virtual_type_check_alt8.sav
@@ -22,4 +22,4 @@ K<Tfalse
 K<Ufalse
 L<Ttrue
 L<Utrue
-Cast failed (alt/base_virtual_type_check_alt8.nit)
+Runtime error: Cast failed (alt/base_virtual_type_check_alt8.nit)

diff --git a/tests/sav/test_map_closure_default_alt1.sav b/tests/sav/test_map_closure_default_alt1.sav
index 975f585..f578316 100644 (file)
--- a/tests/sav/test_map_closure_default_alt1.sav
+++ b/tests/sav/test_map_closure_default_alt1.sav
@@ -10,4 +10,4 @@ N:
 false
 black
 false
-Aborted (alt/test_map_closure_default_alt1.nit:19)
+Runtime error: Aborted (alt/test_map_closure_default_alt1.nit:19)

diff --git a/tests/sav/test_variance_param_alt1.sav b/tests/sav/test_variance_param_alt1.sav
index 92b4d63..e26d1e8 100644 (file)
--- a/tests/sav/test_variance_param_alt1.sav
+++ b/tests/sav/test_variance_param_alt1.sav
@@ -1,4 +1,4 @@
 AB5
 B5
 5
-Cast failed (alt/test_variance_param_alt1.nit)
+Runtime error: Cast failed (alt/test_variance_param_alt1.nit)

diff --git a/tests/sav/test_variance_param_alt2.sav b/tests/sav/test_variance_param_alt2.sav
index fdbf394..ca0394a 100644 (file)
--- a/tests/sav/test_variance_param_alt2.sav
+++ b/tests/sav/test_variance_param_alt2.sav
@@ -2,4 +2,4 @@ AB5
 B5
 5
 B5
-Cast failed (alt/test_variance_param_alt2.nit)
+Runtime error: Cast failed (alt/test_variance_param_alt2.nit)

diff --git a/tests/sav/test_variance_param_alt3.sav b/tests/sav/test_variance_param_alt3.sav
index f0fdbc0..3da3cda 100644 (file)
--- a/tests/sav/test_variance_param_alt3.sav
+++ b/tests/sav/test_variance_param_alt3.sav
@@ -4,4 +4,4 @@ B5
 B5
 5
 5
-Cast failed (alt/test_variance_param_alt3.nit)
+Runtime error: Cast failed (alt/test_variance_param_alt3.nit)

diff --git a/tests/sav/test_variance_param_alt4.sav b/tests/sav/test_variance_param_alt4.sav
index 3e39281..af32c11 100644 (file)
--- a/tests/sav/test_variance_param_alt4.sav
+++ b/tests/sav/test_variance_param_alt4.sav
@@ -4,4 +4,4 @@ B5
 B5
 5
 5
-Cast failed (alt/test_variance_param_alt4.nit)
+Runtime error: Cast failed (alt/test_variance_param_alt4.nit)

diff --git a/tests/sav/test_variance_param_alt5.sav b/tests/sav/test_variance_param_alt5.sav
index 88c3c73..c77b2c8 100644 (file)
--- a/tests/sav/test_variance_param_alt5.sav
+++ b/tests/sav/test_variance_param_alt5.sav
@@ -5,4 +5,4 @@ B5
 5
 5
 5
-Cast failed (alt/test_variance_param_alt5.nit)
+Runtime error: Cast failed (alt/test_variance_param_alt5.nit)

diff --git a/tests/sav/test_variance_param_alt6.sav b/tests/sav/test_variance_param_alt6.sav
index eab7e90..7e8e67b 100644 (file)
--- a/tests/sav/test_variance_param_alt6.sav
+++ b/tests/sav/test_variance_param_alt6.sav
@@ -10,4 +10,4 @@ B5
 B5
 5
 5
-Cast failed (alt/test_variance_param_alt6.nit)
+Runtime error: Cast failed (alt/test_variance_param_alt6.nit)