From 222b8fead96c7537e3a54f22861a819e9625dc15 Mon Sep 17 00:00:00 2001 From: Jan Rochel <jan.rochel@cea.fr> Date: Wed, 3 Apr 2024 02:06:35 +0200 Subject: [PATCH] [e-acsl] remove empty oracles --- src/plugins/e-acsl/tests/libc/oracle_dev/file.e-acsl.err.log | 0 src/plugins/e-acsl/tests/libc/oracle_dev/mem.e-acsl.err.log | 0 src/plugins/e-acsl/tests/libc/oracle_dev/sprintf.e-acsl.err.log | 0 src/plugins/e-acsl/tests/libc/oracle_dev/str.e-acsl.err.log | 0 src/plugins/e-acsl/tests/memory/oracle_dev/vdso.e-acsl.err.log | 0 5 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 src/plugins/e-acsl/tests/libc/oracle_dev/file.e-acsl.err.log delete mode 100644 src/plugins/e-acsl/tests/libc/oracle_dev/mem.e-acsl.err.log delete mode 100644 src/plugins/e-acsl/tests/libc/oracle_dev/sprintf.e-acsl.err.log delete mode 100644 src/plugins/e-acsl/tests/libc/oracle_dev/str.e-acsl.err.log delete mode 100644 src/plugins/e-acsl/tests/memory/oracle_dev/vdso.e-acsl.err.log diff --git a/src/plugins/e-acsl/tests/libc/oracle_dev/file.e-acsl.err.log b/src/plugins/e-acsl/tests/libc/oracle_dev/file.e-acsl.err.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/src/plugins/e-acsl/tests/libc/oracle_dev/mem.e-acsl.err.log b/src/plugins/e-acsl/tests/libc/oracle_dev/mem.e-acsl.err.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/src/plugins/e-acsl/tests/libc/oracle_dev/sprintf.e-acsl.err.log b/src/plugins/e-acsl/tests/libc/oracle_dev/sprintf.e-acsl.err.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/src/plugins/e-acsl/tests/libc/oracle_dev/str.e-acsl.err.log b/src/plugins/e-acsl/tests/libc/oracle_dev/str.e-acsl.err.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/src/plugins/e-acsl/tests/memory/oracle_dev/vdso.e-acsl.err.log b/src/plugins/e-acsl/tests/memory/oracle_dev/vdso.e-acsl.err.log deleted file mode 100644 index e69de29bb2d..00000000000 -- GitLab