Debugging AppVeyor test failure [DO NOT MERGE]

diffblue · Mar 24, 2018 · a57554a · a57554a
1 parent 69b2061
commit a57554a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/regression/jbmc-strings/StringEquals/test.desc b/regression/jbmc-strings/StringEquals/test.desc
@@ -1,6 +1,6 @@
 CORE
 Test.class
---refine-strings --string-max-length 100 --function Test.check
+--refine-strings --string-max-length 100 --function Test.check --verbosity 10
 ^EXIT=10$
 ^SIGNAL=0$
 assertion at file Test.java line 6 .* SUCCESS