Skip to content
Jenkins
log in
Jenkins
overture-development
#276
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View as plain text
View Build Information
Artifactory Build Info
Polling Log
Git Build Data
Open Tasks
Test Result
Coverage Report
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/expressSL.result
(diff)
core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
(diff)
core/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.result
(diff)
core/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result
(diff)
core/typechecker/src/test/resources/modules/ADTSL.result
(diff)
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result
(diff)
core/typechecker/src/test/resources/modules/BOMSL.result
(diff)
core/typechecker/src/test/resources/modules/raildirSL.result
(diff)
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/extexplopdef/extexplopdef.vdm.result
(diff)
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result
(diff)
core/typechecker/src/test/resources/modules/STVSL.result
(diff)
core/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
(diff)
core/typechecker/src/test/resources/modules/DFDexampleSL.result
(diff)
core/typechecker/src/test/resources/modules/trafficSL.result
(diff)
core/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result
(diff)
core/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/extexplopdef/extexplopdef.vpp.result
(diff)
core/typechecker/src/test/resources/modules/looseSL.result
(diff)
core/typechecker/src/test/resources/modules/DigraphSL.result
(diff)
core/typechecker/src/test/resources/modules/ProgLangSL.result
(diff)
core/typechecker/src/test/resources/modules/librarySL.result
(diff)
core/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-09.vdm.result
(diff)
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
(diff)
core/typechecker/src/test/resources/modules/newspeakSL.result
(diff)
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-08.vdm.result
(diff)
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-09.vdm.result
(diff)
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result
(diff)
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
(diff)
core/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-06.vpp.result
(diff)
core/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-08.vdm.result
(diff)
core/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result
(diff)
core/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result
(diff)
core/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
(diff)
core/typechecker/src/test/resources/modules/metroSL.result
(diff)
core/typechecker/src/test/resources/modules/realmSL.result
(diff)
core/typechecker/src/test/resources/modules/simulatorSL.result
(diff)
core/typechecker/src/test/resources/modules/MAASL.result
(diff)