Failed

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

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

Error Message

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

Missing Warning:    5000 extension-13.vpp at 302:11 Definition 'dummy' not used
Unexpected Error:   2295 extension-13.vpp at 141:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-13.vpp at 161:28 Name contains a reserved prefix
Missing Error:      3294 extension-13.vpp at 41:8 Only one system class permitted
Missing Error:      3134 extension-13.vpp at 45:36 Class has no constructor with these parameter types
Missing Error:      3134 extension-13.vpp at 50:37 Class has no constructor with these parameter types
Missing Error:      3134 extension-13.vpp at 55:39 Class has no constructor with these parameter types
Missing Error:      3182 extension-13.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-13.vpp at 32:24 Argument to setPriority must be an operation
Missing Error:      3209 extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Missing Error:      3209 extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Missing Error:      3209 extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope

Stacktrace

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

Missing Warning:    5000 extension-13.vpp at 302:11 Definition 'dummy' not used
Unexpected Error:   2295 extension-13.vpp at 141:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-13.vpp at 161:28 Name contains a reserved prefix
Missing Error:      3294 extension-13.vpp at 41:8 Only one system class permitted
Missing Error:      3134 extension-13.vpp at 45:36 Class has no constructor with these parameter types
Missing Error:      3134 extension-13.vpp at 50:37 Class has no constructor with these parameter types
Missing Error:      3134 extension-13.vpp at 55:39 Class has no constructor with these parameter types
Missing Error:      3182 extension-13.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-13.vpp at 32:24 Argument to setPriority must be an operation
Missing Error:      3209 extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Missing Error:      3209 extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Missing Error:      3209 extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope