Skip verification in all phases

Maria Svorenova · Maria Svorenova · commit 792eba2c12e4 · 2019-03-22T13:34:51.000Z
It's slow and currently broken
diff --git a/diffblue.yml b/diffblue.yml
@@ -1,4 +1,4 @@
-cbmcArguments:
+skipVerification: true
 phases:
 -
 #0
