Passed

org.overture.codegen.tests.output.ConcurrencyClassicOutputTest.testCase[0 : POP3_LogBased_Test1.vdmpp]

Took 1 sec.

Standard Output

2020-05-17 19:23:59 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data
2020-05-17 19:23:59 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data
2020-05-17 19:23:59 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data
2020-05-17 19:23:59 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data
2020-05-17 19:23:59 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data
2020-05-17 19:23:59 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data
2020-05-17 19:23:59 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data
2020-05-17 19:23:59 ERROR IdDesignatorOccurencesCollector:43 - Could not find definition for data
2020-05-17 19:23:59 ERROR DeclAssistantIR:993 - Could not find definition for identifier state designator