From a92dcf1f35bff6937e4f1c3c64f50c2895dd7aa2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr> Date: Wed, 5 Oct 2022 10:23:39 +0200 Subject: [PATCH] [Eva] Updates test oracles. --- tests/value/oracle/octagons.res.oracle | 5 +---- tests/value/oracle_apron/octagons.res.oracle | 9 ++++++++- tests/value/oracle_equality/octagons.res.oracle | 9 ++++++++- tests/value/oracle_gauges/octagons.res.oracle | 4 ++-- 4 files changed, 19 insertions(+), 8 deletions(-) diff --git a/tests/value/oracle/octagons.res.oracle b/tests/value/oracle/octagons.res.oracle index 467fabee6f4..a75bd7ade60 100644 --- a/tests/value/oracle/octagons.res.oracle +++ b/tests/value/oracle/octagons.res.oracle @@ -218,10 +218,7 @@ Called from octagons.c:184. [eva] Recording results for neg [eva] Done for function neg -[eva] computing for function neg <- interprocedural <- main. - Called from octagons.c:185. -[eva] Recording results for neg -[eva] Done for function neg +[eva] octagons.c:185: Reusing old results for call to neg [eva] computing for function diff <- interprocedural <- main. Called from octagons.c:194. [eva] Recording results for diff diff --git a/tests/value/oracle_apron/octagons.res.oracle b/tests/value/oracle_apron/octagons.res.oracle index b97678e683e..7f9960cfff7 100644 --- a/tests/value/oracle_apron/octagons.res.oracle +++ b/tests/value/oracle_apron/octagons.res.oracle @@ -1,4 +1,11 @@ -358,361c358,361 +221c221,224 +< [eva] octagons.c:185: Reusing old results for call to neg +--- +> [eva] computing for function neg <- interprocedural <- main. +> Called from octagons.c:185. +> [eva] Recording results for neg +> [eva] Done for function neg +355,358c358,361 < a ∈ [-1024..2147483647] < b ∈ [-1023..2147483647] < c ∈ [-1023..2147483647] diff --git a/tests/value/oracle_equality/octagons.res.oracle b/tests/value/oracle_equality/octagons.res.oracle index abca6359403..ef865f5bada 100644 --- a/tests/value/oracle_equality/octagons.res.oracle +++ b/tests/value/oracle_equality/octagons.res.oracle @@ -2,7 +2,14 @@ < [eva] octagons.c:54: Frama_C_show_each_unreduced_char: [-128..127], [-128..127] --- > [eva] octagons.c:54: Frama_C_show_each_unreduced_char: [-118..114], [6..127] -345c345 +221c221,224 +< [eva] octagons.c:185: Reusing old results for call to neg +--- +> [eva] computing for function neg <- interprocedural <- main. +> Called from octagons.c:185. +> [eva] Recording results for neg +> [eva] Done for function neg +342c345 < ct ∈ [--..--] or UNINITIALIZED --- > ct ∈ [6..127] or UNINITIALIZED diff --git a/tests/value/oracle_gauges/octagons.res.oracle b/tests/value/oracle_gauges/octagons.res.oracle index f65503794d5..4a7e1f1faba 100644 --- a/tests/value/oracle_gauges/octagons.res.oracle +++ b/tests/value/oracle_gauges/octagons.res.oracle @@ -11,7 +11,7 @@ < [eva] octagons.c:143: Frama_C_show_each_imprecise: [-2147483648..1] --- > [eva] octagons.c:143: Frama_C_show_each_imprecise: [-2468..1] -358,361c350,353 +355,358c347,350 < a ∈ [-1024..2147483647] < b ∈ [-1023..2147483647] < c ∈ [-1023..2147483647] @@ -21,7 +21,7 @@ > b ∈ [-181..1867] > c ∈ [-602..1446] > d ∈ [-190..1874] -363c355 +360c352 < d2 ∈ [-2147483648..1] --- > d2 ∈ [-2468..1] -- GitLab