Uodate models usage & java-external-code-action

diffblue · Oct 1, 2018 · 1d47260 · 1d47260
1 parent 752babc
commit 1d47260
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/diffblue.yml b/diffblue.yml
@@ -1,6 +1,6 @@
 cbmcArguments:
   slice-function-calls: org\.slf4j\.Logger.*
-  java-external-code-action: 'mock-non-jdk'
+  java-external-code-action: 'mock'
 phases:
 -
   timeout: 300
@@ -21,7 +21,7 @@ phases:
 -
   timeout: 300
   cbmcArguments:
-    classpath: '/tools/cbmc/models-simple-overlay.jar:/tools/cbmc/models.jar:.'
+    classpath: '/tools/cbmc/models.jar:.'
     depth: false
     max-nondet-array-length: 30
     unwind: 10