From 8db8742ae426006670da5d0775efb7c6f565d01b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr> Date: Tue, 5 Jul 2022 11:49:37 +0200 Subject: [PATCH] [Eva] Updates alternative test oracles. --- tests/builtins/oracle_equality/imprecise.res.oracle | 12 ++++++------ tests/builtins/oracle_octagon/imprecise.res.oracle | 12 ++++++------ tests/builtins/oracle_symblocs/imprecise.res.oracle | 12 ++++++------ 3 files changed, 18 insertions(+), 18 deletions(-) diff --git a/tests/builtins/oracle_equality/imprecise.res.oracle b/tests/builtins/oracle_equality/imprecise.res.oracle index 1671979a21d..b06a17f898d 100644 --- 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 -< [eva:alarm] imprecise.c:116: Warning: assertion got status unknown. -< [eva] Recording results for many_writes +228a233,234 +> [kernel] imprecise.c:114: +> more than 200(300) elements to enumerate. Approximating. +237,240d242 < [kernel] imprecise.c:111: < more than 200(300) elements to enumerate. Approximating. -234a235,236 -> [eva:alarm] imprecise.c:116: Warning: assertion got status unknown. -> [eva] Recording results for many_writes +< [kernel] imprecise.c:114: +< more than 200(300) elements to enumerate. Approximating. diff --git a/tests/builtins/oracle_octagon/imprecise.res.oracle b/tests/builtins/oracle_octagon/imprecise.res.oracle index 86e47c5ed0f..9633a07ab0e 100644 --- a/tests/builtins/oracle_octagon/imprecise.res.oracle +++ b/tests/builtins/oracle_octagon/imprecise.res.oracle @@ -1,11 +1,11 @@ 220a221,222 > [kernel] imprecise.c:111: > more than 200(300) elements to enumerate. Approximating. -229,232d230 -< [eva:alarm] imprecise.c:116: Warning: assertion got status unknown. -< [eva] Recording results for many_writes +228a231,232 +> [kernel] imprecise.c:114: +> more than 200(300) elements to enumerate. Approximating. +237,240d240 < [kernel] imprecise.c:111: < more than 200(300) elements to enumerate. Approximating. -234a233,234 -> [eva:alarm] imprecise.c:116: Warning: assertion got status unknown. -> [eva] Recording results for many_writes +< [kernel] imprecise.c:114: +< more than 200(300) elements to enumerate. Approximating. diff --git a/tests/builtins/oracle_symblocs/imprecise.res.oracle b/tests/builtins/oracle_symblocs/imprecise.res.oracle index 86e47c5ed0f..9633a07ab0e 100644 --- a/tests/builtins/oracle_symblocs/imprecise.res.oracle +++ b/tests/builtins/oracle_symblocs/imprecise.res.oracle @@ -1,11 +1,11 @@ 220a221,222 > [kernel] imprecise.c:111: > more than 200(300) elements to enumerate. Approximating. -229,232d230 -< [eva:alarm] imprecise.c:116: Warning: assertion got status unknown. -< [eva] Recording results for many_writes +228a231,232 +> [kernel] imprecise.c:114: +> more than 200(300) elements to enumerate. Approximating. +237,240d240 < [kernel] imprecise.c:111: < more than 200(300) elements to enumerate. Approximating. -234a233,234 -> [eva:alarm] imprecise.c:116: Warning: assertion got status unknown. -> [eva] Recording results for many_writes +< [kernel] imprecise.c:114: +< more than 200(300) elements to enumerate. Approximating. -- GitLab