Skip to content
Jenkins
log in
Jenkins
All
overture-development
The VDM Type Checker
#276
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Executed Mojos
Open Tasks
Test Result
See Fingerprints
Embeddable Build Status
Previous Build
Next Build
Changes
Summary
Pass element type into typecheck of set comprehensions, fixes #728 (
commit: 253f4ba
) (
details
)
Commit 253f4ba15880e66fc21b3e083ed2d872a6397218 by
nick.battle
Pass element type into typecheck of set comprehensions, fixes #728
(
commit: 253f4ba
)
core/typechecker/src/test/resources/modules/simulatorSL.result
core/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result
core/typechecker/src/test/resources/modules/librarySL.result
core/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result
core/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-08.vdm.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
core/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-06.vpp.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
core/typechecker/src/test/resources/modules/DigraphSL.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_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result
core/typechecker/src/test/resources/modules/raildirSL.result
core/typechecker/src/test/resources/modules/BOMSL.result
core/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.result
core/typechecker/src/test/resources/modules/DFDexampleSL.result
core/typechecker/src/test/resources/modules/MAASL.result
core/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-09.vdm.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result
core/typechecker/src/test/resources/modules/ADTSL.result
core/typechecker/src/test/resources/modules/expressSL.result
core/typechecker/src/test/resources/modules/trafficSL.result
core/typechecker/src/test/resources/modules/newspeakSL.result
core/typechecker/src/test/resources/modules/ProgLangSL.result
core/typechecker/src/test/resources/modules/STVSL.result
core/typechecker/src/test/resources/modules/metroSL.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result
core/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/extexplopdef/extexplopdef.vpp.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/extexplopdef/extexplopdef.vdm.result
core/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-09.vdm.result
core/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result
core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
core/typechecker/src/test/resources/modules/looseSL.result
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-08.vdm.result
core/typechecker/src/test/resources/modules/realmSL.result