From c611036d3e258be2633ae420311dfee6bf11f008 Mon Sep 17 00:00:00 2001
From: Thibaut Benjamin <thibaut.benjamin@gmail.com>
Date: Mon, 20 Jun 2022 07:58:50 +0200
Subject: [PATCH] [e-acsl] add oracle for dev test

---
 .../e-acsl/tests/bts/oracle_dev/issue-framac-1119.e-acsl.err.log  | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 src/plugins/e-acsl/tests/bts/oracle_dev/issue-framac-1119.e-acsl.err.log

diff --git a/src/plugins/e-acsl/tests/bts/oracle_dev/issue-framac-1119.e-acsl.err.log b/src/plugins/e-acsl/tests/bts/oracle_dev/issue-framac-1119.e-acsl.err.log
new file mode 100644
index 00000000000..e69de29bb2d
-- 
GitLab