IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 479 forks source link

Add budget for steppable-cek conformance #6381

Open bezirg opened 3 months ago

bezirg commented 3 months ago

Currently the budgeting conformance is lacking, compared to haskell (non-steppable) conformance.

It should be straightforward to add budgeting for haskell-steppable-conformance as well.