simplicity
simplicity copied to clipboard
Valgrind Haskell's FFI testing of the C jets as part of CI
This can be done with a command like
valgrind --leak-check=yes dist-newstyle/build/x86_64-linux/ghc-9.4.2/Simplicity-0.0.0/t/testsuite/build/testsuite/testsuite -p '$2=="C / SPEC"'