[Jenkins]Jenkins

SuccessChanges

Summary

  1. Improve unresolved variable error message and tests (commit: b301b64) (details)
Commit b301b646a4a90296ba309d30bfffe5d17b5dfbbe by nick.battle
Improve unresolved variable error message and tests
 (commit: b301b64)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/blockstmt/blockstmt.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/modules17/modules17.vdm.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/ModuleEnvironment.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/types/types-04.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/assignstmt/assignstmt-21.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-07.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/blockstmt/blockstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules17/modules17.vdm.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-07.vdm.result (diff)
The file was modifiedcore/testing/samples/src/test/resources/external/cgip/sltest/CORE/types/types-06.vdm.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeResolver.java (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/opdef/opdef.vdm.result (diff)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-03.vdm.result (diff)