Failed
Install IDE / org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest.test[letexpr-23.vdm]
Failing for the past 2 builds
(Since
#3 )

Error Message
Errors found in file "letexpr-23.vdm.result" Missing Warning: 5000 letexpr-23.vdm at 24:26 Definition 'c' not used Missing Warning: 5000 letexpr-23.vdm at 32:13 Definition 'ini_i' not used Missing Warning: 5000 letexpr-23.vdm at 28:13 Definition 'po_h' not used Missing Warning: 5000 letexpr-23.vdm at 24:13 Definition 'pr_g' not used Missing Warning: 5000 letexpr-23.vdm at 20:15 Definition 'iv_f' not used Unexpected Error: 2295 letexpr-23.vdm at 20:15 Name contains a reserved prefix Missing Error: 3139 letexpr-23.vdm at 11:14 Left hand of < is not ordered
Stacktrace
java.lang.AssertionError: Errors found in file "letexpr-23.vdm.result" Missing Warning: 5000 letexpr-23.vdm at 24:26 Definition 'c' not used Missing Warning: 5000 letexpr-23.vdm at 32:13 Definition 'ini_i' not used Missing Warning: 5000 letexpr-23.vdm at 28:13 Definition 'po_h' not used Missing Warning: 5000 letexpr-23.vdm at 24:13 Definition 'pr_g' not used Missing Warning: 5000 letexpr-23.vdm at 20:15 Definition 'iv_f' not used Unexpected Error: 2295 letexpr-23.vdm at 20:15 Name contains a reserved prefix Missing Error: 3139 letexpr-23.vdm at 11:14 Left hand of < is not ordered