@cardano / small-steps-test

Small step semantics testing library