Merge pull request #23 from diffblue/Remove-slice-function-calls-cbmc…

…Argument Remove 'slice-function-calls:' cbmcArgument
diffblue · Oct 24, 2018 · 457cd22 · 457cd22
2 parents 6f49aad + 7e917b2
commit 457cd22
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/diffblue.yml b/diffblue.yml
@@ -1,5 +1,4 @@
 cbmcArguments:
-  slice-function-calls: org\.slf4j\.Logger.*
   java-external-code-action: 'mock'
 phases:
 -