Students usually fail the exercise related to race conditions. They apply those methods :
- Method 1 : State encoding
- Method 2 : Modifying transition
- Method 3 : Adding extra state variable
BUT they forgot that ALL combinations of method 1 and method 2 should be investigated before moving to method 3.