Add 2 new possibilities to restrict what runs are keeped during learning:
prune_keep_max: maximum overall number of runs to keep (avoid aving too heavy tests on function with complex CFG)
avoid_null option to drop tests returning a zero value (often encountered in libs testset, for instance testing mul with (0, 0), (0, a), (a, 0), ... -> false positive)
Add 2 new possibilities to restrict what runs are keeped during learning:
prune_keep_max: maximum overall number of runs to keep (avoid aving too heavy tests on function with complex CFG)avoid_nulloption to drop tests returning a zero value (often encountered in libs testset, for instance testing mul with (0, 0), (0, a), (a, 0), ... -> false positive)