Skip to content
Jenkins
log in
Jenkins
All
overture-development
The VDM Interpreter
#275
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
Fix FunctionValue comparisons to cope with free variables, fixes #739 (
commit: 56b873f
) (
details
)
Commit 56b873f09a5e9572e4a372cffeab957c1ebfc650 by
nick.battle
Fix FunctionValue comparisons to cope with free variables, fixes #739
(
commit: 56b873f
)
core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java
core/interpreter/src/main/java/org/overture/interpreter/utilities/definition/NamedValueLister.java
core/interpreter/src/test/resources/Interpreter_SL_Modules_TestSuite_External/CORE/expr/letexpr/letexpr-07.vdm.entry
core/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java