add integration test for RobotIntoWater achievement

data/scenarios/Testing/Achievements/RobotIntoWater.yaml

@@ -1,6 +1,17 @@
 version: 1
 name: RobotIntoWater achievement test
 description: Drive a robot into the water
+objectives:
+  - id: build
+    goal:
+      - Build a robot
+    condition: |
+      try {robotNumbered 1; return True} {return False}
+  - goal:
+      - Drown it
+    prerequisite: build
+    condition: |
+      try {robotNumbered 1; return False} {return True}
 solution: |
   build { turn right; move; move; move }
 robots:

test/integration/Main.hs

@@ -11,7 +11,7 @@ module Main where
 
 import Control.Carrier.Lift (runM)
 import Control.Carrier.Throw.Either (runThrow)
-import Control.Lens (Ixed (ix), at, to, use, view, (&), (.~), (<>~), (^.), (^..), (^?!))
+import Control.Lens (Ixed (ix), at, to, use, view, (&), (.~), (<>~), (^.), (^..), (^?!), (^?))
 import Control.Monad (forM_, unless, when)
 import Control.Monad.State (StateT (runStateT), gets)
 import Data.Char (isSpace)
@@ -28,6 +28,7 @@ import Data.Text.IO qualified as T
 import Data.Yaml (ParseException, prettyPrintParseException)
 import Swarm.Doc.Gen (EditorType (..))
 import Swarm.Doc.Gen qualified as DocGen
+import Swarm.Game.Achievement.Definitions (GameplayAchievement(..))
 import Swarm.Game.CESK (emptyStore, getTickNumber, initMachine)
 import Swarm.Game.Entity (EntityMap, lookupByName)
 import Swarm.Game.Failure (SystemFailure)
@@ -47,6 +48,7 @@ import Swarm.Game.State (
   waitingRobots,
   winCondition,
   winSolution,
+  gameAchievements,
  )
 import Swarm.Game.Step (gameTick)
 import Swarm.Game.World.Typecheck (WorldMap)
@@ -244,6 +246,12 @@ testScenarioSolutions rs ui =
             [ testSolution Default "Mechanics/active-trapdoor.yaml"
             ]
         ]
+    , testGroup
+      "Achievements"
+      [ testSolution' Default "Testing/Achievements/RobotIntoWater" CheckForBadErrors $ \g ->
+          assertBool "Did not get RobotIntoWater achievement!"
+            (isJust $ g ^? gameAchievements . at RobotIntoWater)
+      ]
     , testGroup
         "Regression tests"
         [ testSolution Default "Testing/394-build-drill"