From 0c3c19cf145bbd6e0f4cd70e0da9bc7156393048 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr> Date: Wed, 27 Mar 2024 21:47:01 +0100 Subject: [PATCH] [Eva] Removes empty oracles. --- tests/value/oracle_equality/arith_pointer.res.oracle | 0 tests/value/oracle_equality/context_free.res.oracle | 0 tests/value/oracle_equality/empty_struct.6.res.oracle | 0 tests/value/oracle_equality/gauges.res.oracle | 0 tests/value/oracle_equality/va_list2.0.res.oracle | 0 5 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 tests/value/oracle_equality/arith_pointer.res.oracle delete mode 100644 tests/value/oracle_equality/context_free.res.oracle delete mode 100644 tests/value/oracle_equality/empty_struct.6.res.oracle delete mode 100644 tests/value/oracle_equality/gauges.res.oracle delete mode 100644 tests/value/oracle_equality/va_list2.0.res.oracle diff --git a/tests/value/oracle_equality/arith_pointer.res.oracle b/tests/value/oracle_equality/arith_pointer.res.oracle deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/tests/value/oracle_equality/context_free.res.oracle b/tests/value/oracle_equality/context_free.res.oracle deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/tests/value/oracle_equality/empty_struct.6.res.oracle b/tests/value/oracle_equality/empty_struct.6.res.oracle deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/tests/value/oracle_equality/gauges.res.oracle b/tests/value/oracle_equality/gauges.res.oracle deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/tests/value/oracle_equality/va_list2.0.res.oracle b/tests/value/oracle_equality/va_list2.0.res.oracle deleted file mode 100644 index e69de29bb2d..00000000000 -- GitLab