Expand description

Coverage accounting corpus scheduler, more details at https://www.ndss-symposium.org/wp-content/uploads/2020/02/24422-paper.pdf

Structs

A testcase metadata holding a list of indexes of a map

A minimizer scheduler using coverage accounting

A state metadata holding a map of favoreds testcases for each map entry