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

Evaluation.Builtins.Integer.RingProperties

Description

Property tests for the addInteger, subtractInteger, and multiplyInteger builtins

Documentation

test_integer_ring_properties ∷ TestTree Source #