Bound the length of input strings.
Just like arrays, you can limit the size of input strings. Since string operations are computationally intensive, limiting the size of strings can help performance and reduce the number of times Diffblue Cover is unable to cover a method.
A typical reasonable value is between 20 and 100. It is uncommon to use higher values, except for specific cases like file path strings. Some String operations require the unwind value to exceed the string lengths, but most do not.
Keeping the maximum string length to reasonable values helps Diffblue Cover to generate test cases that are more readable.
phases: - cbmcArguments: max-nondet-string-length: 30