PropCheck.TargetedPBT.minimize
You're seeing just the macro
minimize
, go back to PropCheck.TargetedPBT module for more information.
This macro tells the search strategy to minimize the value fitness
and
is equivalent to maximize(-fitness)
.