![[Jenkins]](/jenkins/static/02c71d2c/images/jenkins-header-logo-v2.svg){kind=logo}
Failed
Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-12.vpp]
Failing for the past 2 builds
(Since 
#3 )
#3 )
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