Module de.hamstersimulator.objectsfirst.testframework
module de.hamstersimulator.objectsfirst.testframework
-
Packages
PackageDescriptionThis package contains a JUnit 5 extension which makes testing SimpleHamsterGames easier First, add the HamsterTest annotation with the correct class name and extend the test class with HamsterGameResolver.Package with classes for recording the execution of a hamster game.Package implementing LTL formula and corresponding checks on the game state tracker.