The testing suite for the latest Acumen release uses generator-driven property checks for the parser-pretty printer functionality and unit tests for the interpreter implementations. The reference interpreter unit tests check that differential equations are correctly simulated and the parallel interpreter tests check that both implementations produce equal simulations. As shown by Walid and Corky the test code coverage is fairly complete, in particular for the interpreter codes. Jan is investigating the potential for automatically generating acumen models that may be used to complement the interpreter tests with property-based checks.
