Passed

Install IDE / org.overture.codegen.tests.output.ConfiguredCloningOutputTest.testCase[1 : CashDispenserPP.vdmpp]

Took 0.48 sec.

Standard Output

2020-10-13 09:46:00 ERROR DeclAssistantIR:993 - Could not find definition for identifier state designator 
2020-10-13 09:46:00 ERROR DeclAssistantIR:993 - Could not find definition for identifier state designator 
2020-10-13 09:46:01 ERROR DeclAssistantIR:993 - Could not find definition for identifier state designator