Use string-input-value on early phases

Author: Joel Allred

diffblue.yml

@@ -27,6 +27,8 @@ phases:
       max-nondet-array-length: 10
       max-nondet-string-length: 10
       string-printable: true
+      string-input-value:
+        - foo
       java-assume-inputs-integral: true
       throw-runtime-exceptions: false
       unwind: 1
@@ -41,6 +43,8 @@ phases:
       max-nondet-array-length: 20
       max-nondet-string-length: 50
       string-printable: true
+      string-input-value:
+        - foo
       java-assume-inputs-integral: true
       throw-runtime-exceptions: false
       unwind: 4
@@ -70,6 +74,8 @@ phases:
       max-nondet-array-length: 2
       max-nondet-string-length: 10
       string-printable: true
+      string-input-value:
+        - foo
       java-assume-inputs-integral: true
       throw-runtime-exceptions: false
       unwind: 2
@@ -80,6 +86,8 @@ phases:
       max-nondet-array-length: 10
       max-nondet-string-length: 10
       string-printable: true
+      string-input-value:
+        - foo
       java-assume-inputs-integral: true
       throw-runtime-exceptions: false
       unwind: 1
@@ -92,6 +100,8 @@ phases:
       max-nondet-array-length: 20
       max-nondet-string-length: 50
       string-printable: true
+      string-input-value:
+        - foo
       java-assume-inputs-integral: true
       throw-runtime-exceptions: false
       unwind: 2