diff --git a/Test/config/ConstructorChainingUnsoundSmall.json b/Test/config/ConstructorChainingUnsoundSmall.json
new file mode 100644
index 00000000..84de05d6
--- /dev/null
+++ b/Test/config/ConstructorChainingUnsoundSmall.json
@@ -0,0 +1,6 @@
+{
+    "recursionBound": 8,
+    "k": 1,
+    "main": "CorralEntry_C",
+    "expectedResult": "Program has a potential bug: True bug"
+}