diff --git a/tests/test_planning.py b/tests/test_planning.py index e90601a6f..739324256 100644 --- a/tests/test_planning.py +++ b/tests/test_planning.py @@ -34,3 +34,15 @@ def test_air_cargo(): p.act(action) assert p.goal_test() + +def test_spare_tire(): + p = spare_tire() + assert p.goal_test() is False + solution = [expr("Remove(Flat, Axle)"), + expr("Remove(Spare, Trunk)"), + expr("PutOn(Spare, Axle)")] + + for action in solution: + p.act(action) + + assert p.goal_test()