[Eva] Updates alternative test oracles.

8db8742a · David Bühler · cf384a5a · 8db8742a · 8db8742a · 8db8742a
Commit 8db8742a authored 2 years ago by David Bühler
--- a/tests/builtins/oracle_equality/imprecise.res.oracle
+++ b/tests/builtins/oracle_equality/imprecise.res.oracle
@@ -4,11 +4,11 @@
 220a223,224
 > [kernel] imprecise.c:111: 
 >   more than 200(300) elements to enumerate. Approximating.
-229,232d232
+228a233,234
-< [eva:alarm] imprecise.c:116: Warning: assertion got status unknown.
+> [kernel] imprecise.c:114: 
-< [eva] Recording results for many_writes
+>   more than 200(300) elements to enumerate. Approximating.
+237,240d242
 < [kernel] imprecise.c:111: 
 <   more than 200(300) elements to enumerate. Approximating.
-234a235,236
+< [kernel] imprecise.c:114: 
-> [eva:alarm] imprecise.c:116: Warning: assertion got status unknown.
+<   more than 200(300) elements to enumerate. Approximating.
-> [eva] Recording results for many_writes
--- a/tests/builtins/oracle_octagon/imprecise.res.oracle
+++ b/tests/builtins/oracle_octagon/imprecise.res.oracle
 220a221,222
 > [kernel] imprecise.c:111: 
 >   more than 200(300) elements to enumerate. Approximating.
-229,232d230
+228a231,232
-< [eva:alarm] imprecise.c:116: Warning: assertion got status unknown.
+> [kernel] imprecise.c:114: 
-< [eva] Recording results for many_writes
+>   more than 200(300) elements to enumerate. Approximating.
+237,240d240
 < [kernel] imprecise.c:111: 
 <   more than 200(300) elements to enumerate. Approximating.
-234a233,234
+< [kernel] imprecise.c:114: 
-> [eva:alarm] imprecise.c:116: Warning: assertion got status unknown.
+<   more than 200(300) elements to enumerate. Approximating.
-> [eva] Recording results for many_writes
--- a/tests/builtins/oracle_symblocs/imprecise.res.oracle
+++ b/tests/builtins/oracle_symblocs/imprecise.res.oracle
 220a221,222
 > [kernel] imprecise.c:111: 
 >   more than 200(300) elements to enumerate. Approximating.
-229,232d230
+228a231,232
-< [eva:alarm] imprecise.c:116: Warning: assertion got status unknown.
+> [kernel] imprecise.c:114: 
-< [eva] Recording results for many_writes
+>   more than 200(300) elements to enumerate. Approximating.
+237,240d240
 < [kernel] imprecise.c:111: 
 <   more than 200(300) elements to enumerate. Approximating.
-234a233,234
+< [kernel] imprecise.c:114: 
-> [eva:alarm] imprecise.c:116: Warning: assertion got status unknown.
+<   more than 200(300) elements to enumerate. Approximating.
-> [eva] Recording results for many_writes