Module custom_filename

Source
Expand description

The module for CustomFilenameToTestcaseFeedback

Structs§

CustomFilenameToTestcaseFeedback
A CustomFilenameToTestcaseFeedback takes a CustomFilenameGenerator which returns a filename for the testcase. Is never interesting (use with an Eager OR).

Traits§

CustomFilenameGenerator
Type which can generate a custom filename for a given input/state pair