plutus-core-1.47.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Generators.Spec

Description

UPLC property tests (pretty-printing/parsing and binary encoding/decoding).

Synopsis

Documentation

propFlat ∷ TestTree Source #

propParser ∷ TestTree Source #

propTermSrcSpan ∷ TestTree Source #

The SrcSpan of a parsed Term should not including trailing whitespaces.

propUnit ∷ TestTree Source #

propDefaultUni ∷ TestTree Source #

test_parsing ∷ TestTree Source #