Passed

Package core / org.overture.codegen.tests.output.ConfiguredCloningOutputTest.testCase[2 : TupleUsage.vdmpp]

Took 23 ms.

Standard Output

2020-10-13 09:31:40 ERROR DeclAssistantIR:993 - Could not find definition for identifier state designator 
2020-10-13 09:31:40 ERROR DeclAssistantIR:993 - Could not find definition for identifier state designator 
2020-10-13 09:31:41 ERROR DeclAssistantIR:993 - Could not find definition for identifier state designator