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