Merge pull request #29 from diffblue/revert-28-svorenova-patch-1

Revert "Update diffblue.yml (CYOA fallback)"

diffblue.yml

@@ -1,102 +1,4 @@
 cbmcArguments:
-phases:
--
-#0
- timeout: 300
- cbmcArguments:
-   classpath: '/tools/cbmc/models-simple-overlay.jar:/tools/cbmc/models.jar:.'
-   depth: 1500
-   java-assume-inputs-non-null: true
-   java-max-vla-length: 48
-   max-nondet-array-length: 10
-   max-nondet-string-length: 10
-   string-printable: true
-   throw-runtime-exceptions: false
-   unwind: 1
- nextPhase:
-   not_analyzed: null
-   time_out: 3
--
-#1
- timeout: 300
- cbmcArguments:
-   classpath: '/tools/cbmc/models-simple-overlay.jar:/tools/cbmc/models.jar:.'
-   depth: 1500
-   java-assume-inputs-non-null: false
-   java-max-vla-length:  96
-   max-nondet-array-length: 20
-   max-nondet-string-length: 50
-   string-printable: true
-   throw-runtime-exceptions: false
-   unwind: 2
- nextPhase:
-   time_out: 3
--
-#2
- timeout: 300
- cbmcArguments:
-   classpath: '/tools/cbmc/models.jar:.'
-   depth: 3000
-   java-assume-inputs-non-null: false
-   java-max-vla-length:  192
-   max-nondet-array-length: 30
-   max-nondet-string-length: 100
-   string-printable: false
-   throw-runtime-exceptions: true
-   unwind: 3
--
-#3
- timeout: 300
- cbmcArguments:
-   classpath: '/tools/cbmc/models-simple-overlay.jar:/tools/cbmc/models.jar:.'
-   depth: 1500
-   java-assume-inputs-non-null: true
-   java-max-vla-length: 48
-   load-containing-class-only: true
-   max-nondet-array-length: 10
-   max-nondet-string-length: 10
-   string-printable: true
-   throw-runtime-exceptions: false
-   unwind: 1
--
-#4
- timeout: 300
- cbmcArguments:
-   classpath: '/tools/cbmc/models.jar:.'
-   depth: 3000
-   java-assume-inputs-non-null: false
-   java-max-vla-length:  192
-   load-containing-class-only: true
-   max-nondet-array-length: 30
-   max-nondet-string-length: 100
-   string-printable: false
-   throw-runtime-exceptions: true
-   unwind: 3
--
-#5
- timeout: 300
- cbmcArguments:
-   classpath: '/tools/cbmc/models-simple-overlay.jar:/tools/cbmc/models.jar:.'
-   depth: 1500
-   java-assume-inputs-non-null: true
-   java-max-vla-length: 48
-   max-nondet-array-length: 10
-   max-nondet-string-length: 10
-   single-function-only: true
-   string-printable: true
-   throw-runtime-exceptions: false
-   unwind: 1
--
-#6
- timeout: 300
- cbmcArguments:
-   classpath: '/tools/cbmc/models.jar:.'
-   depth: 3000
-   java-assume-inputs-non-null: false
-   java-max-vla-length:  192
-   max-nondet-array-length: 30
-   max-nondet-string-length: 100
-   single-function-only: true
-   string-printable: false
-   throw-runtime-exceptions: true
-   unwind: 3
+  # Because tic-tac-toe has 9 squares, we need to unwind the loops 10 times
+  # This will be auto-detected in a future version
+  max-nondet-array-length: 10