Add initial benchmark framework

Plutonomicon / plutarch-plutus

Typed eDSL for writing UPLC /ˈpluː.tɑːk/

MIT License

125 stars 64 forks source link

Add initial benchmark framework #748

Closed t4ccer closed 2 weeks ago

t4ccer commented 2 weeks ago

This replicates interface of tasty-bench basically one to one but you give it ClosedTerms instead

t4ccer commented 2 weeks ago

$ cabal run test:tests --ghc-options=-Wwarn -- --quickcheck-replay="(SMGen 946588892800887496 14704601251472569737,51)" --pattern 'V3.Ledger Laws PTxInfo.can parse toData of original'
Tests
  PlutarchLedgerApi
    Laws
      V3
        Ledger Laws PTxInfo
          can parse toData of original: OK (14.77s)
            +++ OK, passed 62 tests.