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


Required Plugins
----------------

* :doc:`ExecutionTracer <ExecutionTracer>`

Configuration Sample
--------------------

::

    pluginsConfig.TestCaseGenerator = {}