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

Evaluation.Builtins.Integer.DivModProperties

Description

Property tests for the divideInteger and modInteger builtins

Documentation

test_integer_div_mod_properties ∷ TestTree Source #