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 options.

Required Plugins