Merge pull request #16 from diffblue/feature/max-array-length

Reinstate java-max-input-array-length
diffblue · Jun 18, 2018 · 003b556 · 003b556
2 parents 67d12c2 + e442d96
commit 003b556
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/diffblue.yml b/diffblue.yml
@@ -0,0 +1,4 @@
+cbmcArguments:
+  # Because tic-tac-toe has 9 squares, we need to unwind the loops 10 times
+  # This will be auto-detected in a future version
+  java-max-input-array-length: 10