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