reset_fairness - reset the fairness constraint

Remove any existing fairness constraint associated with the FSM of the flattened network, and impose a single constraint, TRUE, indicating that all states are "accepting".

Command options:

-h

Print the command usage.