« Back Forward » Run Trace (10 ms delay) Run Trace (500 ms delay)

Nr	Event	Target State ID
1	INITIALISATION(board={(1|->{(1|->"_"),(2|->"_"),(3|->"_")}),(2|->{(1|->"_"),(2|->"_"),(3|->"_")}),(3|->{(1|->"_"),(2|->"...	State 0
2	MoveX(1,1)	State 1
3	MoveO(2,1)	State 10
4	MoveX(3,1)	State 18
5	MoveO(2,2)	State 26
6	MoveX(1,2)	State 31
7	MoveO(2,3)	State 38

Generated on 27/6/2022 at 12:44 using ProB version 1.12.0-nightly
Main specification file: tictactoe_v2.tla (modified on 27/6/2022 at 11:24)
Main specification name: tictactoe_v2
Main VisB JSON file: ../../../../JAVAPROB/visb-visualisation-examples/../../prob_examples/public_examples/TLA/TicTacToe/tictactoe_visb.json (modified on 27/6/2022 at 12:22)