Remo szorgalmi feladat:
A Coverage-nál, a ChessClockNEPTUNStateMachine alatt miért van minden choice 0% lefedettséggel jelölve? A ChessClockNEPTUNStateMachine() alatt ott is ott van minden choice (ugyanazok), de már 100%-os lefedettséggel, csak pl. ...tr1tr1() végződés helyett ...tr0tr0().