From dc01c63564808292f94bdb70acc020603f4db8ad Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.maroneze@cea.fr> Date: Fri, 17 Jun 2022 19:26:00 +0200 Subject: [PATCH] [Eva] update alternative test oracles --- tests/builtins/oracle_equality/linked_list.1.res.oracle | 5 +++-- tests/builtins/oracle_gauges/linked_list.1.res.oracle | 2 +- tests/builtins/oracle_octagon/linked_list.1.res.oracle | 5 +++-- tests/builtins/oracle_symblocs/linked_list.1.res.oracle | 5 +++-- 4 files changed, 10 insertions(+), 7 deletions(-) diff --git a/tests/builtins/oracle_equality/linked_list.1.res.oracle b/tests/builtins/oracle_equality/linked_list.1.res.oracle index 2793d4429dc..dc1c07fbca0 100644 --- a/tests/builtins/oracle_equality/linked_list.1.res.oracle +++ b/tests/builtins/oracle_equality/linked_list.1.res.oracle @@ -16,8 +16,9 @@ 720a731,732 > [kernel] linked_list.c:44: > more than 100(128) elements to enumerate. Approximating. -817,820d828 -< [kernel] linked_list.c:43: +810,811d821 +< [kernel] linked_list.c:51: < more than 100(128) elements to enumerate. Approximating. +819,820d828 < [kernel] linked_list.c:44: < more than 100(128) elements to enumerate. Approximating. diff --git a/tests/builtins/oracle_gauges/linked_list.1.res.oracle b/tests/builtins/oracle_gauges/linked_list.1.res.oracle index b87751b1860..ec6dff88c11 100644 --- a/tests/builtins/oracle_gauges/linked_list.1.res.oracle +++ b/tests/builtins/oracle_gauges/linked_list.1.res.oracle @@ -1,4 +1,4 @@ -815a816,821 +817a818,823 > [eva] computing for function printf_va_1 <- main. > Called from linked_list.c:51. > [eva] Done for function printf_va_1 diff --git a/tests/builtins/oracle_octagon/linked_list.1.res.oracle b/tests/builtins/oracle_octagon/linked_list.1.res.oracle index 41d4dcf4336..4083e687dd3 100644 --- a/tests/builtins/oracle_octagon/linked_list.1.res.oracle +++ b/tests/builtins/oracle_octagon/linked_list.1.res.oracle @@ -10,8 +10,9 @@ 720a727,728 > [kernel] linked_list.c:44: > more than 100(128) elements to enumerate. Approximating. -817,820d824 -< [kernel] linked_list.c:43: +810,811d817 +< [kernel] linked_list.c:51: < more than 100(128) elements to enumerate. Approximating. +819,820d824 < [kernel] linked_list.c:44: < more than 100(128) elements to enumerate. Approximating. diff --git a/tests/builtins/oracle_symblocs/linked_list.1.res.oracle b/tests/builtins/oracle_symblocs/linked_list.1.res.oracle index 41d4dcf4336..4083e687dd3 100644 --- a/tests/builtins/oracle_symblocs/linked_list.1.res.oracle +++ b/tests/builtins/oracle_symblocs/linked_list.1.res.oracle @@ -10,8 +10,9 @@ 720a727,728 > [kernel] linked_list.c:44: > more than 100(128) elements to enumerate. Approximating. -817,820d824 -< [kernel] linked_list.c:43: +810,811d817 +< [kernel] linked_list.c:51: < more than 100(128) elements to enumerate. Approximating. +819,820d824 < [kernel] linked_list.c:44: < more than 100(128) elements to enumerate. Approximating. -- GitLab