[Eva] Removes empty oracles.

0c3c19cf · David Bühler · 2ef49b30 · 2ef49b30 · 2ef49b30 · 2ef49b30
Commit 0c3c19cf authored 1 year ago by David Bühler
--- a/tests/value/oracle_equality/arith_pointer.res.oracle
+++ b/tests/value/oracle_equality/arith_pointer.res.oracle
--- a/tests/value/oracle_equality/context_free.res.oracle
+++ b/tests/value/oracle_equality/context_free.res.oracle
--- a/tests/value/oracle_equality/empty_struct.6.res.oracle
+++ b/tests/value/oracle_equality/empty_struct.6.res.oracle
--- a/tests/value/oracle_equality/gauges.res.oracle
+++ b/tests/value/oracle_equality/gauges.res.oracle
--- a/tests/value/oracle_equality/va_list2.0.res.oracle
+++ b/tests/value/oracle_equality/va_list2.0.res.oracle