java-external-code-action: 'mock-non-jdk'

diffblue · Sep 28, 2018 · f34a888 · f34a888
1 parent 39fb1df
commit f34a888
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