max-nondet-string-length

Bound the length of input strings.

Description

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.

Usage

A typical reasonable value is between 20 and 50. 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

Defaults

Phase Default
1 10
2 50
3 100

results matching ""

    No results matching ""