BlockstreamResearch / simplicity

Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.
MIT License
305 stars 45 forks source link

Valgrind the Haskell FFI testsuite #267

Closed roconnor-blockstream closed 4 weeks ago

roconnor-blockstream commented 1 month ago

@apoelstra you will want to add --arg withValgrind true to one of your CI entries for building Haskell. It runs pretty slow, so I would only do it in one configuration.

roconnor-blockstream commented 1 month ago

Fixes #124

roconnor-blockstream commented 4 weeks ago

@apoelstra Can you ACK that you integrated this mode of evaluation into your CI process for one configuration?

apoelstra commented 4 weeks ago

@roconnor-blockstream yep, I did.