search

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License
27 stars 5 forks source link

Fix discharge for applications and add tests #310

Closed SchmErik closed 2 years ago

SchmErik commented 2 years ago

Discharge function for nested applications and iterative applications resulted in stuck terms. This change adds additional rules to correctly terminate discharge applied to nested applications.

SchmErik commented 2 years ago

@gtrepta thanks! I applied your comments and it works!