Module de.hamstersimulator.objectsfirst.testframework

module de.hamstersimulator.objectsfirst.testframework

Packages

Exports

Package	Description
de.hamstersimulator.objectsfirst.testframework	This 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.
de.hamstersimulator.objectsfirst.testframework.gamelog
de.hamstersimulator.objectsfirst.testframework.gamelog.datatypes
de.hamstersimulator.objectsfirst.testframework.gamestate	Package with classes for recording the execution of a hamster game.
de.hamstersimulator.objectsfirst.testframework.ltl	Package implementing LTL formula and corresponding checks on the game state tracker.