Merge pull request #20 from diffblue/updated-config

java-external-code-action: 'mock-non-jdk'
diffblue · Sep 28, 2018 · 752babc · 752babc
2 parents 39fb1df + f34a888
commit 752babc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/diffblue.yml b/diffblue.yml
@@ -1,5 +1,6 @@
 cbmcArguments:
   slice-function-calls: org\.slf4j\.Logger.*
+  java-external-code-action: 'mock-non-jdk'
 phases:
 -
   timeout: 300