Failed
Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-13.vpp]
Failing for the past 3 builds
(Since
#3 )

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