Passed
org.overture.codegen.tests.output.ClassicOutputTest.testCase[1 : CashDispenserPP.vdmpp]
Standard Output
2020-05-17 19:23:54 ERROR DeclAssistantIR:993 - Could not find definition for identifier state designator 2020-05-17 19:23:54 ERROR DeclAssistantIR:993 - Could not find definition for identifier state designator 2020-05-17 19:23:54 ERROR DeclAssistantIR:993 - Could not find definition for identifier state designator