From f7a069f4b727b19391162347e5f63ac0bd27c69e Mon Sep 17 00:00:00 2001 From: Valentin Perrelle <valentin.perrelle@cea.fr> Date: Sat, 16 Apr 2022 15:47:37 +0200 Subject: [PATCH] [Eva] update vtests --- tests/value/oracle_apron/multidim.res.oracle | 2 +- .../value/oracle_equality/multidim.res.oracle | 22 +++++++++---------- .../value/oracle_octagon/multidim.res.oracle | 22 +++++++++---------- .../value/oracle_symblocs/multidim.res.oracle | 22 +++++++++---------- 4 files changed, 34 insertions(+), 34 deletions(-) diff --git a/tests/value/oracle_apron/multidim.res.oracle b/tests/value/oracle_apron/multidim.res.oracle index 1002afddb9f..89bd56baa46 100644 --- a/tests/value/oracle_apron/multidim.res.oracle +++ b/tests/value/oracle_apron/multidim.res.oracle @@ -1,2 +1,2 @@ -4d3 +2d1 < [eva:experimental] Warning: The multidim domain is experimental. diff --git a/tests/value/oracle_equality/multidim.res.oracle b/tests/value/oracle_equality/multidim.res.oracle index a5c41b1ac9f..949bc2e8b3a 100644 --- a/tests/value/oracle_equality/multidim.res.oracle +++ b/tests/value/oracle_equality/multidim.res.oracle @@ -1,18 +1,18 @@ -103a104 -> [kernel] multidim.c:65: more than 1(20) elements to enumerate. Approximating. -105a107 +101a102 > [kernel] multidim.c:66: more than 1(20) elements to enumerate. Approximating. -107a110 -> [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating. -109a113 +103a105 +> [kernel] multidim.c:67: more than 1(20) elements to enumerate. Approximating. +105a108 > [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating. -136,137d139 -< [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating. +107a111 +> [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating. +134,135d137 < [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating. -182a185 +< [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating. +180a183 > [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating. -184a188 +182a186 > [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating. -205,206d208 +203,204d206 < [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating. < [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating. diff --git a/tests/value/oracle_octagon/multidim.res.oracle b/tests/value/oracle_octagon/multidim.res.oracle index a5c41b1ac9f..949bc2e8b3a 100644 --- a/tests/value/oracle_octagon/multidim.res.oracle +++ b/tests/value/oracle_octagon/multidim.res.oracle @@ -1,18 +1,18 @@ -103a104 -> [kernel] multidim.c:65: more than 1(20) elements to enumerate. Approximating. -105a107 +101a102 > [kernel] multidim.c:66: more than 1(20) elements to enumerate. Approximating. -107a110 -> [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating. -109a113 +103a105 +> [kernel] multidim.c:67: more than 1(20) elements to enumerate. Approximating. +105a108 > [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating. -136,137d139 -< [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating. +107a111 +> [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating. +134,135d137 < [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating. -182a185 +< [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating. +180a183 > [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating. -184a188 +182a186 > [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating. -205,206d208 +203,204d206 < [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating. < [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating. diff --git a/tests/value/oracle_symblocs/multidim.res.oracle b/tests/value/oracle_symblocs/multidim.res.oracle index a5c41b1ac9f..949bc2e8b3a 100644 --- a/tests/value/oracle_symblocs/multidim.res.oracle +++ b/tests/value/oracle_symblocs/multidim.res.oracle @@ -1,18 +1,18 @@ -103a104 -> [kernel] multidim.c:65: more than 1(20) elements to enumerate. Approximating. -105a107 +101a102 > [kernel] multidim.c:66: more than 1(20) elements to enumerate. Approximating. -107a110 -> [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating. -109a113 +103a105 +> [kernel] multidim.c:67: more than 1(20) elements to enumerate. Approximating. +105a108 > [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating. -136,137d139 -< [kernel] multidim.c:65: more than 1(28) elements to enumerate. Approximating. +107a111 +> [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating. +134,135d137 < [kernel] multidim.c:66: more than 1(28) elements to enumerate. Approximating. -182a185 +< [kernel] multidim.c:67: more than 1(28) elements to enumerate. Approximating. +180a183 > [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating. -184a188 +182a186 > [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating. -205,206d208 +203,204d206 < [kernel] multidim.c:136: more than 1(1000) elements to enumerate. Approximating. < [kernel] multidim.c:137: more than 1(1000) elements to enumerate. Approximating. -- GitLab