Open buggsley opened 8 years ago
Only fair cycles should be considered in EG check. These cycles should not monotonically increase a continuous variable while always ignoring transitions out on that variable that would fire after reaching that bound.
Only fair cycles should be considered in EG check. These cycles should not monotonically increase a continuous variable while always ignoring transitions out on that variable that would fire after reaching that bound.