Failed

Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-01.vpp]

Failing for the past 17 builds (Since Failed#107 )
Took 4 ms.

Error Message

Errors found in file "extension-01.vpp.result"

Unexpected Error:   2295 extension-01.vpp at 110:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-01.vpp at 130:28 Name contains a reserved prefix
Missing Error:      3182 extension-01.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-01.vpp at 32:24 Argument to setPriority must be an operation
Missing Error:      3134 extension-01.vpp at 265:40 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 266:41 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 272:43 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 273:41 Class has no constructor with these parameter types

Stacktrace

java.lang.AssertionError: 
Errors found in file "extension-01.vpp.result"

Unexpected Error:   2295 extension-01.vpp at 110:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-01.vpp at 130:28 Name contains a reserved prefix
Missing Error:      3182 extension-01.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-01.vpp at 32:24 Argument to setPriority must be an operation
Missing Error:      3134 extension-01.vpp at 265:40 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 266:41 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 272:43 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 273:41 Class has no constructor with these parameter types