TestCaseGenerator¶

The TestCaseGenerator plugin records in the execution trace the set of concrete inputs for each terminated path.

Options¶

This plugin does not have any option.

pluginsConfig.TestCaseGenerator = {}