From 52cf2ad1ff5c0c10f8078c4fc94f49be1a9bfe86 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 21 May 2021 15:36:03 +0200
Subject: [PATCH] [Eva] Updates test oracle for the apron config.

The apron config disables the warning about experimental domains.
---
 tests/value/oracle_apron/taint.res.oracle | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 tests/value/oracle_apron/taint.res.oracle

diff --git a/tests/value/oracle_apron/taint.res.oracle b/tests/value/oracle_apron/taint.res.oracle
new file mode 100644
index 00000000000..5caf6b3b7f4
--- /dev/null
+++ b/tests/value/oracle_apron/taint.res.oracle
@@ -0,0 +1,2 @@
+2d1
+< [eva:experimental] Warning: The taint domain is experimental.
-- 
GitLab