[Jenkins]Jenkins

SuccessChanges

Summary

  1. 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)
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-05.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/ProgLangSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/fundefsl/fundefsl.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/casesstmt/casesstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/rectrapstmt/rectrapstmt.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-08.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/MAASL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/extexplopdef/extexplopdef.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/access-types/access-types.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/ADTSL.result
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/letbestmt/letbestmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/basicext/basicext-04.vpp.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/recfun/recfun-31.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/librarySL.result
The file was modifiedcore/typechecker/src/test/resources/modules/simulatorSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/extexplopdef/extexplopdef.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/DFDexampleSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/trafficSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/expressSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/modules06/modules06.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-09.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/CORE/stmt/casesstmt/casesstmt-03.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/DigraphSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/metroSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_PP_Classes_TestSuite_External/fulltest/PP/stmtpp/trapstmt/trapstmt.vpp.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-09.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/BOMSL.result
The file was modifiedcore/testing/samples/src/test/resources/external/tc/sltest/exprtest/CORE/expr/setcomprehensionexpr/setcomprehensionexpr-08.vdm.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_SL_Modules_TestSuite_External/fulltest/SL/stmtsl/rectrapstmt/rectrapstmt.vdm.result
The file was modifiedcore/typechecker/src/test/resources/modules/STVSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/looseSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/newspeakSL.result
The file was modifiedcore/typechecker/src/test/resources/modules/realmSL.result
The file was modifiedcore/typechecker/src/test/resources/Type_Check_RT_Classes_TestSuite_External/VICE/extension/extension-06.vpp.result
The file was modifiedcore/typechecker/src/test/resources/modules/raildirSL.result