Merge pull request #7715 from tautschnig/bugfixes/limit-string-length

Limit string length to avoid spurious regression test failure

Author: tautschnig

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$