Fix discharge function - Githubissues

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License

27 stars 5 forks source link

Closed ChristianoBraga closed 2 years ago

ChristianoBraga commented 2 years ago

While discharging a variable that is bound in a given environment, we need to lookup the heap for the associated value.
This commit adds the heap as an argument to discharge.

SchmErik commented 2 years ago

Could you provide a test case that exercises this?