missing json file for regression

suvamM · Apr 17, 2020 · cf91212 · cf91212
1 parent 747f421
commit cf91212
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Test/config/ConstructorChainingUnsoundSmall.json b/Test/config/ConstructorChainingUnsoundSmall.json
@@ -0,0 +1,6 @@
+{
+    "recursionBound": 8,
+    "k": 1,
+    "main": "CorralEntry_C",
+    "expectedResult": "Program has a potential bug: True bug"
+}