Failed

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

Failing for the past 14 builds (Since #107 )
Took 36 ms.

Error Message

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

Missing Warning:    5000 extension-12.vpp at 295:11 Definition 'dummy' not used
Unexpected Error:   2295 extension-12.vpp at 129:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-12.vpp at 149:28 Name contains a reserved prefix
Missing Error:      3294 extension-12.vpp at 41:8 Only one system class permitted
Missing Error:      3134 extension-12.vpp at 45:36 Class has no constructor with these parameter types
Missing Error:      3134 extension-12.vpp at 50:37 Class has no constructor with these parameter types
Missing Error:      3134 extension-12.vpp at 55:39 Class has no constructor with these parameter types
Missing Error:      3182 extension-12.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-12.vpp at 32:24 Argument to setPriority must be an operation

Stacktrace

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

Missing Warning:    5000 extension-12.vpp at 295:11 Definition 'dummy' not used
Unexpected Error:   2295 extension-12.vpp at 129:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-12.vpp at 149:28 Name contains a reserved prefix
Missing Error:      3294 extension-12.vpp at 41:8 Only one system class permitted
Missing Error:      3134 extension-12.vpp at 45:36 Class has no constructor with these parameter types
Missing Error:      3134 extension-12.vpp at 50:37 Class has no constructor with these parameter types
Missing Error:      3134 extension-12.vpp at 55:39 Class has no constructor with these parameter types
Missing Error:      3182 extension-12.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-12.vpp at 32:24 Argument to setPriority must be an operation