Skip to content
Jenkins
log in
Jenkins
overture-test
The VDM Type Checker
#197
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View as plain text
View Build Information
Executed Mojos
Open Tasks
Test Result
See Fingerprints
Embeddable Build Status
Previous Build
Next Build
Changes
Summary
Improve unresolved variable error message and tests (
commit: b301b64
) (
details
)
Commit b301b646a4a90296ba309d30bfffe5d17b5dfbbe by
nick.battle
Improve unresolved variable error message and tests
(
commit: b301b64
)
core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-01.vdm.result
core/testing/samples/src/test/resources/external/cgip/sltest/CORE/types/types-06.vdm.result
core/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-07.vdm.result
core/typechecker/src/main/java/org/overture/typechecker/ModuleEnvironment.java
core/testing/samples/src/test/resources/external/tc/sltest/fulltest/CORE/stmt/blockstmt/blockstmt.vdm.result
core/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeResolver.java
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/casesexpr/casesexpr-03.vdm.result
core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/opdef/opdef.vdm.result
core/testing/samples/src/test/resources/external/cgip/sltest/CORE/stmt/assignstmt/assignstmt-21.vdm.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-01.vdm.result
core/testing/samples/src/test/resources/external/cgip/sltest/CORE/types/types-04.vdm.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/blockstmt/blockstmt.vdm.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result
core/testing/samples/src/test/resources/external/tc/sltest/fulltest/SL/modules17/modules17.vdm.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules17/modules17.vdm.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-07.vdm.result