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

Evaluation.Builtins.Integer.QuotRemProperties

Description

Property tests for the quotientInteger and remainderInteger builtins

Documentation

test_integer_quot_rem_properties ∷ TestTree Source #