From 4baf7590ff7f66e6100c1bf670c1eb90fc1bebdb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr> Date: Mon, 20 Jan 2025 17:00:27 +0100 Subject: [PATCH] [Eva] Removes old test oracles. --- tests/builtins/oracle_bitwise/allocated.0.res.oracle | 0 tests/builtins/oracle_bitwise/allocated.1.res.oracle | 0 tests/builtins/oracle_bitwise/malloc-optimistic.res.oracle | 0 3 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 tests/builtins/oracle_bitwise/allocated.0.res.oracle delete mode 100644 tests/builtins/oracle_bitwise/allocated.1.res.oracle delete mode 100644 tests/builtins/oracle_bitwise/malloc-optimistic.res.oracle diff --git a/tests/builtins/oracle_bitwise/allocated.0.res.oracle b/tests/builtins/oracle_bitwise/allocated.0.res.oracle deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/tests/builtins/oracle_bitwise/allocated.1.res.oracle b/tests/builtins/oracle_bitwise/allocated.1.res.oracle deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/tests/builtins/oracle_bitwise/malloc-optimistic.res.oracle b/tests/builtins/oracle_bitwise/malloc-optimistic.res.oracle deleted file mode 100644 index e69de29bb2d..00000000000 -- GitLab