aiken/crates/uplc/test_data/conformance/evaluation/builtin/interleaving
rvcas 8d59ba1c77 chore: update the conformance tests 2024-02-20 13:05:28 -05:00
..
ite
iteAtIntegerArrowIntegerApplied1
iteAtIntegerArrowIntegerApplied2
iteAtIntegerArrowIntegerAppliedApplied
iteAtIntegerArrowIntegerWithCond
iteForceAppForce
iteForced
iteForcedForced
iteForcedWithIntegerAndString
iteStringInteger
iteStringString
iteUnforcedFullyApplied
iteUnforcedWithCond
iteWrongCondTypeFullyAppied
iteWrongCondTypePartiallyApplied
multiplyIntegerForceError1
multiplyIntegerForceError2
multiplyIntegerForceError3
README.md

README.md

The test cases here are all extracted from the tests in plutus-core/untyped-plutus-core/test/Evaluation/Golden.hs and check that interleaving of forces and normal arguments for builtin applications behaves correctly. Most of these are for ifThenElse (ite) because that has the most complicated interleaving behaviour of our current builtins (it expects an argument of the built-in bool type, then a force, then two term arguments).