From 9452d0881aad4d95e8c6b5eda63d3053c34a91af Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Wed, 10 Jan 2024 11:45:57 +0200
Subject: [PATCH] Add unsound minimal conf with no analyses

---
 conf/min-unsound.json | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 conf/min-unsound.json

diff --git a/conf/min-unsound.json b/conf/min-unsound.json
new file mode 100644
index 0000000000..5195909ffb
--- /dev/null
+++ b/conf/min-unsound.json
@@ -0,0 +1,6 @@
+{
+    "ana": {
+        "activated": [
+        ]
+    }
+}
\ No newline at end of file