Sync state-of-tic-tac-toe tests

Author: BNAndras

exercises/practice/state-of-tic-tac-toe/.meta/Example.fs

@@ -37,7 +37,8 @@ let gameState (board: Board) =
         Error ConsecutiveMovesBySamePlayer
     elif numNaughts > numCrosses then
         Error WrongPlayerStarted
-    elif won 'X' board && won 'O' board then
+    elif (won 'X' board && numCrosses <> numNaughts + 1)
+         || (won 'O' board && numCrosses <> numNaughts) then
         Error MoveMadeAfterGameWasDone
     elif won 'X' board || won 'O' board then
         Ok Win

exercises/practice/state-of-tic-tac-toe/.meta/tests.toml

@@ -99,3 +99,9 @@ reimplements = "b1dc8b13-46c4-47db-a96d-aa90eedc4e8d"
 
 [4801cda2-f5b7-4c36-8317-3cdd167ac22c]
 description = "Invalid boards -> Invalid board: players kept playing after a win"
+
+[5a84757a-fc86-4328-aec9-a5759e6ed35d]
+description = "Invalid boards -> Invalid board: O kept playing after X wins"
+
+[cf25543d-583a-4656-b9ab-f82dc00a4a02]
+description = "Invalid boards -> Invalid board: X kept playing after O wins"

exercises/practice/state-of-tic-tac-toe/StateOfTicTacToeTests.fs

@@ -248,3 +248,21 @@ let ``Invalid board: players kept playing after a win`` () =
     let expected: Result<EndGameState, GameError> = Error MoveMadeAfterGameWasDone
     gameState board |> should equal expected
 
+[<Fact(Skip = "Remove this Skip property to run this test")>]
+let ``Invalid board: O kept playing after X wins`` () =
+    let board = 
+        array2D [ ['O'; 'O'; ' '];
+                  ['X'; 'X'; 'X'];
+                  [' '; 'O'; ' '] ]
+    let expected: Result<EndGameState, GameError> = Error MoveMadeAfterGameWasDone
+    gameState board |> should equal expected
+
+[<Fact(Skip = "Remove this Skip property to run this test")>]
+let ``Invalid board: X kept playing after O wins`` () =
+    let board = 
+        array2D [ ['X'; 'X'; ' '];
+                  ['O'; 'O'; 'O'];
+                  [' '; 'X'; 'X'] ]
+    let expected: Result<EndGameState, GameError> = Error MoveMadeAfterGameWasDone
+    gameState board |> should equal expected
+

generators/Generators.fs

@@ -2145,6 +2145,10 @@ type KillerSudokuHelper() =
 type StateOfTicTacToe() =
     inherit ExerciseGenerator()
 
+    override this.RenderSut testCase =
+        let parameters = this.RenderSutParameters testCase |> String.concat " "
+        $"gameState %s{parameters}"
+
     override _.PropertiesWithIdentifier _ = [ "board"; "expected" ]
 
     override _.IdentifierTypeAnnotation(_, key, _) =