search

aleeusgr / gimbalabs-dandelion-pbl

Test Driven Development of dApps on Cardano
MIT License
1 stars 1 forks source link

Try QuickCheck #13

Closed aleeusgr closed 1 year ago

aleeusgr commented 1 year ago

Source

We test contracts using a model of the system, which includes the state(s) of all the agents involved–the on-chain state, the off-chain state on your computer, the off-chain state on anyone else’s computer–everything relevant to the contract(s) under test.

aleeusgr commented 1 year ago

https://www.schoolofhaskell.com/user/pbv/an-introduction-to-quickcheck-testing

functional programs are easier to reason about. Haskell library that allows expressing properties about programs and testing them with randomly-generated values.

A property for QuickCheck is simply a truth-valued function whose arguments are implicitly universally quantified.

aleeusgr commented 1 year ago

Official manual

Another one

aleeusgr commented 1 year ago

Next step is to do this: https://plutus-apps.readthedocs.io/en/latest/plutus/tutorials/contract-testing.html