Assertion: flop's state | /r/HasProperty | eliminated
Facets:
value: along with the race condition
type: OTHER
Source sentences:
text: invalid” state is eliminated (along with the race condition it engendered) and we get a useful feature as a bonus: the ability to toggle between the two (bistable) output states with every transition of the clock input signal.