Skip to content
Jenkins
log in
Jenkins
overturetool
ncb/development
#156
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View as plain text
View Build Information
Git Build Data
See Fingerprints
Coverage Report
Test Result
Coverage Report
Coverage Report
Open Tasks
Coverage Report
Open Tasks
Coverage Report
Maven
Open Tasks
Embeddable Build Status
Pipeline Steps
Workspaces
Previous Build
Next Build
Changes
Summary
Fix FunctionValue comparisons to cope with free variables, fixes #739 (
details
)
Commit
56b873f09a5e9572e4a372cffeab957c1ebfc650
by
nick.battle
Fix FunctionValue comparisons to cope with free variables, fixes #739
core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java
(diff)
core/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java
(diff)
core/interpreter/src/test/resources/Interpreter_SL_Modules_TestSuite_External/CORE/expr/letexpr/letexpr-07.vdm.entry
(diff)
core/interpreter/src/main/java/org/overture/interpreter/utilities/definition/NamedValueLister.java
(diff)