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