plutus-tx-1.46.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Test.Run.Code

Synopsis

Documentation

evaluationResultMatchesHaskellLift DefaultUni hask ⇒ CompiledCode a → (∀ r. (Eq r, Show r) ⇒ r → r → k) → hask → k Source #

Evaluate CompiledCode and check that the result matches a given Haskell value (perhaps obtained by running the Haskell code that the term was compiled from). We evaluate the lifted Haskell value as well, because lifting may produce reducible terms. The function is polymorphic in the comparison operator so that we can use it with both HUnit Assertions and QuickCheck Properties.