Merge pull request #30 from diffblue/svorenova/ignore-existing-coverage

Add ignoreExistingCoverage true
diffblue · Aug 20, 2019 · 7011e98 · 7011e98
2 parents d097ea5 + bda940f
commit 7011e98
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/diffblue.yml b/diffblue.yml
@@ -1,3 +1,4 @@
+ignoreExistingCoverage: true
 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