module greed.exploration_techniques.prioritizer
class Prioritizer
This Exploration technique implements a DFS with prioritization of states. The prioritization is done by a scoring function that is applied to each state. For instance, the scoring function can be the distance (in basic blocks) from a target statement.
Args:
scoring_function
: the scoring functiondeferred_stash
: the name of the stash where deferred states are put
method __init__
method check_stashes
method is_complete
method setup
This file was automatically generated via lazydocs.