diff --git a/jbmc/regression/jbmc/assume-inputs-non-null/class_assume.desc b/jbmc/regression/jbmc/assume-inputs-non-null/class_assume.desc
index 4e07e36aac7..7ad022e0f81 100644
--- a/jbmc/regression/jbmc/assume-inputs-non-null/class_assume.desc
+++ b/jbmc/regression/jbmc/assume-inputs-non-null/class_assume.desc
@@ -1,6 +1,6 @@
 CORE
 My
---function My.classArg --java-assume-inputs-non-null
+--function My.classArg --java-assume-inputs-non-null --max-nondet-string-length 1000
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$