PropCheck.TargetedPBT.maximize
You're seeing just the macro
maximize
, go back to PropCheck.TargetedPBT module for more information.
This macro tells the search strategy to maximize the value fitness
.