This package contains tests for assuring the alignment of the simulator and Java code generator.