diff --git a/tests/misc/audit-in.json b/tests/misc/audit-in.json
index 4278dcffc0935c685a650032aba687e7f8ba817a..580f8ac0b0bf71f754b3f4a4b99a41655e8886e6 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 c12464699ba37e8bab645ecf123b3ca67f8bd9bd..b7d55c35d2b08c652da0b87c0ac9f06e6d2abe66 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",