From cf912123553d179b38068d3247d222c7d314ca35 Mon Sep 17 00:00:00 2001
From: Shuvendu Lahiri <shuvendu@microsoft.com>
Date: Thu, 16 Apr 2020 17:38:19 -0700
Subject: [PATCH] missing json file for regression

---
 Test/config/ConstructorChainingUnsoundSmall.json | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 Test/config/ConstructorChainingUnsoundSmall.json

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"
+}