Added JSON analysis file

Author: RicardoDiffBlue

diffblue.json

@@ -0,0 +1,59 @@
+{
+  "ignoreDefaults": true,
+  "phaseBase": {
+    "stringPrintable": true,
+    "throwRuntimeExceptions": false,
+    "classpath": "/tools/cbmc/models.jar:.",
+    "javaGenerateNoComments": true,
+    "javaMockClass": [
+      "java\\.io\\.File",
+      "java\\.io\\.FileInputStream",
+      "java\\.io\\.FileReader",
+      "java\\.io\\.InputStreamReader",
+      "java\\.io\\.PrintWriter",
+      "java\\.lang\\.Process",
+      "java\\.lang\\.ProcessBuilder",
+      "java\\.lang\\.System",
+      "java\\.nio\\.file\\.Files",
+      "java\\.nio\\.file\\.Paths",
+      "java\\.security\\.KeyFactory",
+      "java\\.security\\.Signature",
+      "java\\.security\\.SecureRandom",
+      "java\\.util\\.Date",
+      "java\\.util\\.Random"
+    ],
+    "javaTestInputFactory": [
+      "bmc"
+    ],
+    "javaTestInputFactoryBmcMaxMutators": 2,
+    "javaTestInputFactoryBmcRecursionLimit": 2,
+    "javaUnwindEnumStatic": true,
+    "javaTestInputFactoryEntryPoint": [
+      "<init>",
+      "set[A-Z]\\w*"
+    ],
+    "javaTestOutputEntryPoint": [
+      "get[A-Z]\\w*"
+    ]
+  },
+  "phases": {
+    "phase-1": {
+      "initial": true,
+      "timeout": 150,
+      "classpath": "/tools/cbmc/models-simple-overlay.jar:/tools/cbmc/models.jar:.",
+      "smartHarness": "simplest-constructor-and-nondet",
+      "javaAssumeInputsNonNull": true,
+      "maxNondetArrayLength": 10,
+      "maxNondetStringLength": 10,
+      "stringPrintable": true,
+      "stringInputValue": [
+        "foo"
+      ],
+      "javaAssumeInputsIntegral": true,
+      "unwind": 1,
+      "nextPhase": {
+      }
+    }
+  }
+}
+