This package contains tests for assuring the alignment of the simulator and the model checker.