Add more phases for smart-harness input-factory

Author: Joel Allred

diffblue.yml

@@ -32,6 +32,33 @@ phases:
       unwind: 1
     nextPhase:
       not_analyzed: null
+      time_out: 3
+  - timeout: 150
+    cbmcArguments:
+      classpath: '/tools/cbmc/models.jar:.'
+      smart-harness: simplest-constructor-and-nondet
+      java-assume-inputs-non-null: true
+      max-nondet-array-length: 20
+      max-nondet-string-length: 50
+      string-printable: true
+      java-assume-inputs-integral: true
+      throw-runtime-exceptions: false
+      unwind: 4
+    nextPhase:
+      time_out: 3
+  - timeout: 150
+    cbmcArguments:
+      classpath: '/tools/cbmc/models.jar:.'
+      smart-harness: simplest-constructor-and-nondet
+      java-assume-inputs-non-null: true
+      max-nondet-array-length: 30
+      max-nondet-string-length: 100
+      string-printable: false
+      java-assume-inputs-integral: false
+      throw-runtime-exceptions: false
+      unwind: 16
+    nextPhase:
+      time_out: 3
   - timeout: 150
     cbmcArguments:
       classpath: '/tools/cbmc/models-simple-overlay.jar:/tools/cbmc/models.jar:.'
@@ -57,7 +84,7 @@ phases:
       throw-runtime-exceptions: false
       unwind: 1
     nextPhase:
-      time_out: 8
+      time_out: 10
   - timeout: 150
     cbmcArguments:
       classpath: '/tools/cbmc/models-simple-overlay.jar:/tools/cbmc/models.jar:.'
@@ -69,7 +96,7 @@ phases:
       throw-runtime-exceptions: false
       unwind: 2
     nextPhase:
-      time_out: 8
+      time_out: 10
   - timeout: 150
     cbmcArguments:
       classpath: '/tools/cbmc/models.jar:.'
@@ -81,7 +108,7 @@ phases:
       throw-runtime-exceptions: false
       unwind: 4
     nextPhase:
-      time_out: 8
+      time_out: 10
   - timeout: 150
     cbmcArguments:
       classpath: '/tools/cbmc/models.jar:.'
@@ -93,7 +120,7 @@ phases:
       throw-runtime-exceptions: false
       unwind: 8
     nextPhase:
-      time_out: 8
+      time_out: 10
   - timeout: 150
     cbmcArguments:
       classpath: '/tools/cbmc/models.jar:.'
@@ -105,7 +132,7 @@ phases:
       throw-runtime-exceptions: false
       unwind: 16
     nextPhase:
-      time_out: 8
+      time_out: 10
   - timeout: 150
     cbmcArguments:
       classpath: '/tools/cbmc/models.jar:.'