mlabs-haskell / cem-script

https://cardano.ideascale.com/c/idea/106740

2 stars 1 forks source link

Create custom Emulator backend #66

Open uhbif19 opened 3 weeks ago

uhbif19 commented 3 weeks ago

As we see CLB is too slow for fuzzing #60 and it does not seem to be fixable.

Due to most of Tx correctness checks should be validated by our off-chain code anyway (blocked by #65), emulator can be implemented by only recording current UTxO state. That is: if we do not count Plutus fees, which would be out of scope of this task.

TODO:

[ ] Implement UTxO store and its querying
[ ] Add support for ADA selection and minada enforcement without makeTransactionBodyAutoBalance
[ ] Support submitting
[ ] Support time
[ ] Parameterize tests around backends

github-actions[bot] commented 3 weeks ago

Status: Blocked :x:

Issues blocking this PR:

65 :x:

This comment was automatically written by the Blocking Issues bot, and this PR will be monitored for further progress.