Add tasty-papi benchmarking #6674
Conversation
papagvas
temporarily deployed
to
github-pages
GitHub Actions
Inactive
papagvas
temporarily deployed
to
github-pages
GitHub Actions
Inactive
There was a problem hiding this comment.
LGTM, only needs the commented out code to get removed.
Build seems broken though. @zeme-wana could you please look into it?
| benchTermCek evalCtx term = | ||
| let !term' = force term | ||
| in whnf (evaluateCekForBench evalCtx) term' | ||
| -} |
| Run the benchmarks. You can run groups of benchmarks by typing things like | ||
| `stack bench -- plutus-benchmark:validation --ba crowdfunding` | ||
| or | ||
| `cabal bench -- plutus-benchmark:validation --benchmark-options crowdfunding`. |
There was a problem hiding this comment.
Will that --benchmark-options thing work for PAPI benchmarks as well or is it just copy-pasta?
| ingredients = includingOptions customOpts : benchIngredients | ||
|
|
||
| mkCekBM file program = | ||
| benchTermCek evalCtx . toNamedDeBruijnTerm . UPLC._progTerm $ unsafeUnflat file program |
There was a problem hiding this comment.
Hm, why are we even including the cost of unflat here? And in the original validation benchmarks. That should be discussed separately, not a blocker for this PR.
|
/benchmark validation |
|
Click here to check the status of your benchmark. |
|
@papagvas Can you please rebase off of master? This will fix the ci/eval build error. Thanks! |
|
oops, I can't read apparently |
papagvas
temporarily deployed
to
github-pages
GitHub Actions
Inactive
Thanks. There are still build errors. I'm looking into this |
papagvas
had a problem deploying
to
github-pages
GitHub Actions
Failure
Implementation of tasty-papi benchmarks as requested here: #6004