From 91785beeae7905b47ebffcb0c12d845f9f8ad6ee Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vojt=C4=9Bch=20Forejt?= <forejtv@gmail.com>
Date: Thu, 28 Feb 2019 17:51:51 +0000
Subject: [PATCH] Revert "Update diffblue.yml (CYOA fallback)"

---
 diffblue.yml | 104 ++-------------------------------------------------
 1 file changed, 3 insertions(+), 101 deletions(-)

diff --git a/diffblue.yml b/diffblue.yml
index dab2e58..3dfbd52 100644
--- a/diffblue.yml
+++ b/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