Plutarch.Test.Export
, containing an API for working with script exports.
Test.Unit.Precompiled
:- Generic instances and labeled optics for
TestCase
andTestCompiled
tryFromPTerm
: a partial function generating a debuggable test case from aClosedTerm
- Generic instances and labeled optics for
Test.Unit.Precompiled
:fromPTerm
's type signature changed to return aEither Text TestTree
and is now total. For the partial version, seetryFromPTerm
Test.Unit.Precompiled
:fromScript
, because invariants could be broken.
Test.Unit.Precompiled
module for testing precompiled scripts.TestCompiled
provides monadic interface for precompiled script checking.Expectation
defines if a test case should succeed or not.(@&)
andwithApplied
stitches in shared arguments.testEvalCase
,@>
, and@!>
tests if script fails or succeeds given arguments.testEqualityCase
tests if script is equal to expectation or not given arguments.fromPTerm
compiles Plutarch term and tests inTestCompiled
.
validatorSucceedsWith
, ensuring validator runs successfully given datum, redeemer, and script context.validatorFailsWith
, ensuring validator fails given datum, redeemer, and script context.mintingPolicySucceedsWith
, ensuring minting policy runs successfully given datum, redeemer, and script context.mintingPolicyFailsWith
, ensuring minting policy fails given datum, redeemer, and script context.scriptSucceeds
, ensuringScript
runs successfully.scriptFails
, ensuringScript
fails.