minimize.py File Reference

Go to the source code of this file.

Classes
class	minimize.MaskGen

Namespaces
namespace	minimize

Functions
	minimize.generate_dart (dartfuzz_cmd, dart_test, smask, mask, do_expr)
	minimize.run_dart (dart_cmd, dart_test, error_match_p, timeout)
	minimize.run_dart_mp (dart_cmd, dart_test, error_match_p, tries, nthreads, timeout)
	minimize.minimize (dartfuzz_cmd, dart_cmd, dart_cmd_ref, dart_test, error_match1, error_match2, smask, emask, do_expr, verbose, tries, tries_ref, threads, timeout, print_every=32)
	minimize.main ()

Variables
int	minimize.STATEMENT_MASK_LINE = 0
int	minimize.STATEMENT_NUMBER_LINE = 1
int	minimize.EXPRESSION_MASK_LINE = 2
int	minimize.EXPRESSION_NUMBER_LINE = 3