From 18db8f128df7452587b4cb51433ab371d992aa80 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 5 Mar 2021 16:05:51 +0100
Subject: [PATCH] [Eva] Fixes audit test.
---
tests/misc/audit-in.json | 1 -
tests/misc/oracle/audit-out.json | 1 -
2 files changed, 2 deletions(-)
diff --git a/tests/misc/audit-in.json b/tests/misc/audit-in.json
index 4278dcffc09..580f8ac0b0b 100644
--- a/tests/misc/audit-in.json
+++ b/tests/misc/audit-in.json
@@ -35,7 +35,6 @@
"-eva-context-depth": "2",
"-eva-context-valid-pointers": "false",
"-eva-context-width": "2",
- "-eva-ignore-recursive-calls": "false",
"-eva-initialization-padding-globals": "yes",
"-eva-initialized-locals": "false",
"-eva-new-initial-state": "0",
diff --git a/tests/misc/oracle/audit-out.json b/tests/misc/oracle/audit-out.json
index c12464699ba..b7d55c35d2b 100644
--- a/tests/misc/oracle/audit-out.json
+++ b/tests/misc/oracle/audit-out.json
@@ -9,7 +9,6 @@
"-eva-context-depth": "2",
"-eva-context-valid-pointers": "false",
"-eva-context-width": "2",
- "-eva-ignore-recursive-calls": "false",
"-eva-initialization-padding-globals": "yes",
"-eva-initialized-locals": "false",
"-eva-new-initial-state": "0",
--
GitLab