From 424ad15894b95291e688de8a9a6fe35a2b523cfb Mon Sep 17 00:00:00 2001 From: Seungheon Oh Date: Tue, 24 May 2022 13:52:42 -0500 Subject: [PATCH] agora-spec made independent from agora-test --- .../Spec/AuthorityToken.hs | 0 agora-spec/Spec/Effect/*agora* | 4299 +++++++++++++++++ .../Spec/Effect/GovernorMutation.hs | 0 .../Spec/Effect/TreasuryWithdrawal.hs | 0 agora-spec/Spec/Effect/TreasuryWithdrawal.hs~ | 422 ++ {agora-test => agora-spec}/Spec/Governor.hs | 0 .../Spec/Model/MultiSig.hs | 0 {agora-test => agora-spec}/Spec/Proposal.hs | 0 {agora-test => agora-spec}/Spec/Spec.hs | 0 {agora-test => agora-spec}/Spec/Stake.hs | 0 {agora-test => agora-spec}/Spec/Treasury.hs | 0 {agora-test => agora-spec}/Spec/Utils.hs | 0 agora-test/README.org | 11 - agora.cabal | 20 +- 14 files changed, 4735 insertions(+), 17 deletions(-) rename {agora-test => agora-spec}/Spec/AuthorityToken.hs (100%) create mode 100644 agora-spec/Spec/Effect/*agora* rename {agora-test => agora-spec}/Spec/Effect/GovernorMutation.hs (100%) rename {agora-test => agora-spec}/Spec/Effect/TreasuryWithdrawal.hs (100%) create mode 100644 agora-spec/Spec/Effect/TreasuryWithdrawal.hs~ rename {agora-test => agora-spec}/Spec/Governor.hs (100%) rename {agora-test => agora-spec}/Spec/Model/MultiSig.hs (100%) rename {agora-test => agora-spec}/Spec/Proposal.hs (100%) rename {agora-test => agora-spec}/Spec/Spec.hs (100%) rename {agora-test => agora-spec}/Spec/Stake.hs (100%) rename {agora-test => agora-spec}/Spec/Treasury.hs (100%) rename {agora-test => agora-spec}/Spec/Utils.hs (100%) delete mode 100644 agora-test/README.org diff --git a/agora-test/Spec/AuthorityToken.hs b/agora-spec/Spec/AuthorityToken.hs similarity index 100% rename from agora-test/Spec/AuthorityToken.hs rename to agora-spec/Spec/AuthorityToken.hs diff --git a/agora-spec/Spec/Effect/*agora* b/agora-spec/Spec/Effect/*agora* new file mode 100644 index 0000000..8716896 --- /dev/null +++ b/agora-spec/Spec/Effect/*agora* @@ -0,0 +1,4299 @@ +Your wish is my IO (). +If I break, you can: + 1. Restart: M-x haskell-process-restart + 2. Configure logging: C-h v haskell-process-log (useful for debugging) + 3. General config: M-x customize-mode + 4. Hide these tips: C-h v haskell-process-show-debug-tips +λ> :set -Wwarn=missing-home-modules +λ> :r + +: warning: [-Wmissing-home-modules] + These modules are needed for compilation but not listed in your .cabal file's other-modules: + Spec.Sample.Effect.TreasuryWithdrawal Spec.Sample.Sample Spec.Util +[1 of 4] Compiling Spec.Sample.Effect.TreasuryWithdrawal ( agora-test/Spec/Sample/Effect/TreasuryWithdrawal.hs, interpreted ) +[2 of 4] Compiling Spec.Sample.Sample ( agora-test/Spec/Sample/Sample.hs, interpreted ) +[3 of 4] Compiling Spec.Util ( agora-test/Spec/Util.hs, interpreted ) +[4 of 4] Compiling Spec.Effect.TreasuryWithdrawal ( /home/sho/Documents/agora/agora-test/Spec/Effect/TreasuryWithdrawal.hs, interpreted ) + +/home/sho/Documents/agora/agora-test/Spec/Effect/TreasuryWithdrawal.hs:139:5: error: [-Wunused-local-binds, -Werror=unused-local-binds] + Defined but not used: `totalOutput' + | +139 | totalOutput = mconcat $ snd <$> r + | ^^^^^^^^^^^ +Failed, three modules loaded. +λ> :r + +: warning: [-Wmissing-home-modules] + These modules are needed for compilation but not listed in your .cabal file's other-modules: + Spec.Sample.Effect.TreasuryWithdrawal Spec.Sample.Sample Spec.Util +[4 of 4] Compiling Spec.Effect.TreasuryWithdrawal ( /home/sho/Documents/agora/agora-test/Spec/Effect/TreasuryWithdrawal.hs, interpreted ) + +/home/sho/Documents/agora/agora-test/Spec/Effect/TreasuryWithdrawal.hs:139:5: error: [-Wunused-local-binds, -Werror=unused-local-binds] + Defined but not used: `totalOutput' + | +139 | totalOutput = mconcat $ snd <$> r + | ^^^^^^^^^^^ + +/home/sho/Documents/agora/agora-test/Spec/Effect/TreasuryWithdrawal.hs:140:5: error: [-Wunused-local-binds, -Werror=unused-local-binds] + Defined but not used: `treasuryInput' + | +140 | treasuryInput = mconcat $ snd <$> (filter (\(c,_) -> elem c t) $ extractCredVal . txInInfoResolved <$> txInfoInputs info) + | ^^^^^^^^^^^^^ + +/home/sho/Documents/agora/agora-test/Spec/Effect/TreasuryWithdrawal.hs:141:5: error: [-Wunused-local-binds, -Werror=unused-local-binds] + Defined but not used: `expected' + | +141 | expected = Value.unionWith (-) treasuryInput totalOutput + | ^^^^^^^^ +Failed, three modules loaded. +λ> generate (genTWECases RemaindersDoNotReturnToTreasuries) +(TreasuryWithdrawalDatum {receivers = [(PubKeyCredential 2938635e0019e4871e88be3e8e89d06e12fbe4e3604209a3b4f55b7d9b2e393e,Value (Map [(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",23)])])),(PubKeyCredential 31b1e0ad06a30dd22f4ad5545d5bfe35fd149d64978a22c87ecf04e0c55ea529,Value (Map [(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",20)])])),(PubKeyCredential 32dc4c7c66c03e532266eb45f8fff02e121fcafc74ebcf4fb41a0763133423d8,Value (Map [(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",29)])])),(PubKeyCredential 13d0c56bb73dac64888cdca66362e622f94054bf595feea8a59490f3f023bf46,Value (Map [(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",4)])])),(PubKeyCredential 646b746ab2aa538895e2ee7092020ee55fe5a0f610b8216de06a95af019d8928,Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",20)])]))], treasuries = [ScriptCredential b241707d05dcabcb3d896ddd47467ce5437f7f5223562e9b7a4e68c725047150,ScriptCredential 5aba4f8ae399fe68312c90339de967aa98c57f6c35c905c47936863ebf6577b3,ScriptCredential e431cf3d612906a6e017bc5de4faab3146fdeec419a967301d4082082ef7263c,ScriptCredential 58a6d0f846cb139b8bb03ed27cbd88a0b4ac5f54606a1518ba20ee7c3af1c5c8,ScriptCredential 8cbf28686420500cd5d1915b0e1de77778d225ef24ff9b5cc095fb33e907592b,ScriptCredential a1d7ccf38e2be07ff759cd121c24d3106865cca2c5f85e8a7ee2864ea32ccd23,ScriptCredential 397a6ceb85b32cc247b3cf815f234942b75a95387e2f97562e289829fdab059f,ScriptCredential d08bfa6ad3fe8bdc1e25beed51bc31b69c1e5dd3b50111c612888b6aaa491356,ScriptCredential 1c74efd016ab0a08546d1108c4d2dd144ec2b1c15726fd3cea634a9013961b74,ScriptCredential 0830503b1d996938edf1abd322220489ca9212516dabb4d87d73fcc960f85cab,ScriptCredential 5bac536f0fb820bd48acfe979491f9aa0270b148a81f4180b6b4f7d46066dba0,ScriptCredential 52671ada27514c352b8adbf5f9690e32035a5278156549a4484b807c7cecce51,ScriptCredential b833f95bc88b65a0a8a04d3cbbdd827ec77c52a8295cf0789062121f83a9d8e8,ScriptCredential b6269dcdb9a874bbabd74011935efe2bbb2bd6cd56d9855e34d4e86c962f42c4,ScriptCredential b8e294c54cc7a3ccaace33e336346b1debd37b375171d42be606c375e737989d,ScriptCredential c98e9e2b1a5759a05c45112d9e48d6f8758a041c2dfdaaaf5771db69d14a5503,ScriptCredential 96fdffd5abcf31b4a2c4c4eacbf3aefdc0ef3ac529f1e26c074381a1f3be9aee,ScriptCredential 8ac26aab7c9d3f96d52f7a07391731bfdd9c09e0c75216ece69fa3d5a35a21ef,ScriptCredential 2ed4ccab6b100c631e8c4c35cb41bed7e4bc62223e3ddfd32e6631edbee3d684,ScriptCredential 4a077124eff748319b61b183c20fe15ae97335fdcda9c53f51fb7a452888ce8c,ScriptCredential efcdd15b35674dcd601fd5cb7289c2d99a907598109330c6091bf196f8b2008f,ScriptCredential 0f5e99a2401ea995d4f5705903b2311f32c23b6f7a468140e4f7c8f863b2c0a7]},TxInfo {txInfoInputs = [TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential a6028fb63fe556132c6f6664ea3b0608b3bba501d16c25763fd4dbea, addressStakingCredential = Nothing}, txOutValue = Value (Map [(3132333132303939,Map [(0xa6028fb63fe556132c6f6664ea3b0608b3bba501d16c25763fd4dbea,1)])]), txOutDatumHash = Just }},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential b241707d05dcabcb3d896ddd47467ce5437f7f5223562e9b7a4e68c725047150, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential 5aba4f8ae399fe68312c90339de967aa98c57f6c35c905c47936863ebf6577b3, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential e431cf3d612906a6e017bc5de4faab3146fdeec419a967301d4082082ef7263c, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential 58a6d0f846cb139b8bb03ed27cbd88a0b4ac5f54606a1518ba20ee7c3af1c5c8, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential 8cbf28686420500cd5d1915b0e1de77778d225ef24ff9b5cc095fb33e907592b, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential a1d7ccf38e2be07ff759cd121c24d3106865cca2c5f85e8a7ee2864ea32ccd23, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential 397a6ceb85b32cc247b3cf815f234942b75a95387e2f97562e289829fdab059f, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential d08bfa6ad3fe8bdc1e25beed51bc31b69c1e5dd3b50111c612888b6aaa491356, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential 1c74efd016ab0a08546d1108c4d2dd144ec2b1c15726fd3cea634a9013961b74, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential 0830503b1d996938edf1abd322220489ca9212516dabb4d87d73fcc960f85cab, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential 5bac536f0fb820bd48acfe979491f9aa0270b148a81f4180b6b4f7d46066dba0, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential 52671ada27514c352b8adbf5f9690e32035a5278156549a4484b807c7cecce51, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential b833f95bc88b65a0a8a04d3cbbdd827ec77c52a8295cf0789062121f83a9d8e8, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential b6269dcdb9a874bbabd74011935efe2bbb2bd6cd56d9855e34d4e86c962f42c4, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential b8e294c54cc7a3ccaace33e336346b1debd37b375171d42be606c375e737989d, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential c98e9e2b1a5759a05c45112d9e48d6f8758a041c2dfdaaaf5771db69d14a5503, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential 96fdffd5abcf31b4a2c4c4eacbf3aefdc0ef3ac529f1e26c074381a1f3be9aee, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential 8ac26aab7c9d3f96d52f7a07391731bfdd9c09e0c75216ece69fa3d5a35a21ef, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential 2ed4ccab6b100c631e8c4c35cb41bed7e4bc62223e3ddfd32e6631edbee3d684, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential 4a077124eff748319b61b183c20fe15ae97335fdcda9c53f51fb7a452888ce8c, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential efcdd15b35674dcd601fd5cb7289c2d99a907598109330c6091bf196f8b2008f, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}},TxInInfo {txInInfoOutRef = TxOutRef {txOutRefId = 0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be, txOutRefIdx = 1}, txInInfoResolved = TxOut {txOutAddress = Address {addressCredential = ScriptCredential 0f5e99a2401ea995d4f5705903b2311f32c23b6f7a468140e4f7c8f863b2c0a7, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",1)]),(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",1)]),(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",2)]),(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",2)]),(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",1)])]), txOutDatumHash = Nothing}}], txInfoOutputs = [TxOut {txOutAddress = Address {addressCredential = PubKeyCredential 2938635e0019e4871e88be3e8e89d06e12fbe4e3604209a3b4f55b7d9b2e393e, addressStakingCredential = Nothing}, txOutValue = Value (Map [(7395f0cd7ff79d334ff46e0410d2feb982828c93e79669b577774d272cfc339f,Map [("tgacmdzys",23)])]), txOutDatumHash = Nothing},TxOut {txOutAddress = Address {addressCredential = PubKeyCredential 31b1e0ad06a30dd22f4ad5545d5bfe35fd149d64978a22c87ecf04e0c55ea529, addressStakingCredential = Nothing}, txOutValue = Value (Map [(a9f3045d19dc7a166853a696717be8070db7daee475f6fa9bd5785514aefbb57,Map [("uakqkketdlijgyamfelblu",20)])]), txOutDatumHash = Nothing},TxOut {txOutAddress = Address {addressCredential = PubKeyCredential 32dc4c7c66c03e532266eb45f8fff02e121fcafc74ebcf4fb41a0763133423d8, addressStakingCredential = Nothing}, txOutValue = Value (Map [(a73e791bd9734ba428df02423b43d6d55beba0339abccdb1b0b8789adc3204e1,Map [("gtratlelzbcbhhsifnstjdbaiownoa",29)])]), txOutDatumHash = Nothing},TxOut {txOutAddress = Address {addressCredential = PubKeyCredential 13d0c56bb73dac64888cdca66362e622f94054bf595feea8a59490f3f023bf46, addressStakingCredential = Nothing}, txOutValue = Value (Map [(49a0b24cb2aaa0467d96848f484265024f2bf2a8c05e8bce2d62b1d3127f6343,Map [("oqfizchds",4)])]), txOutDatumHash = Nothing},TxOut {txOutAddress = Address {addressCredential = PubKeyCredential 646b746ab2aa538895e2ee7092020ee55fe5a0f610b8216de06a95af019d8928, addressStakingCredential = Nothing}, txOutValue = Value (Map [(2ea91ec7ef21a6ec63cd42e81c87fc2f3793897f56bb6b14bc9a7f731954a674,Map [("gyep",20)])]), txOutDatumHash = Nothing}], txInfoFee = Value (Map [(,Map [("",2)])]), txInfoMint = Value (Map [(3132333132303939,Map [(0xa6028fb63fe556132c6f6664ea3b0608b3bba501d16c25763fd4dbea,-1)])]), txInfoDCert = [], txInfoWdrl = [], txInfoValidRange = Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}, txInfoSignatories = [8a30896c4fd5e79843e4ca1bd2cdbaa36f8c0bc3be7401214142019c], txInfoData = [], txInfoId = 0b123412341234}) +λ> generate (genTWECases RemaindersDoNotReturnToTreasuries) >>= (\gen -> return $ classifyTWE gen) +Effect should pass +λ> +λ> generate (genTWECases RemaindersDoNotReturnToTreasuries) >>= (\gen -> return $ classifyTWE gen) +Effect should pass +λ> generate (genTWECases RemaindersDoNotReturnToTreasuries) >>= (\gen -> return $ classifyTWE gen) +Effect should pass +λ> generate (genTWECases InputsHaveOtherScriptInput) >>= (\gen -> return $ classifyTWE gen) +Transaction has script input that is not specified in datum +λ> generate (genTWECases InputsHaveOtherScriptInput) >>= (\gen -> return $ classifyTWE gen) +Transaction has script input that is not specified in datum +λ> generate (genTWECases RemaindersDoNotReturnToTreasuries) >>= (\gen -> return $ classifyTWE gen) +Value (Map []) +Effect should pass +λ> generate (genTWECases RemaindersDoNotReturnToTreasuries) >>= (\gen -> return $ classifyTWE gen) +Value (Map [])Value (Map [(0d2ad868534070304c80929ed48324c1fe7a7850f4978746ddf622b6bd701936,Map [("zeutwxkdzibgvznlwktzs",7)]),(2a5fa0239db444a038a54b659872a4500ae8b8f489ae1e0d6340465e3dc28c1c,Map [("cglgnuytjxlbdwsejhsyxkws",15)]),(34ecca11f206705689a3389fafb78aae50172c1934f919bb22589b5c2c57064d,Map [("hexmhjudqbsxrlncmuwghcsit",8)]),(54f6c40d7097a974e8ca9fa69ea014df23fe44ee0693e8b5b845628504f70cee,Map [("mvvnveearly",6)]),(650fc3c65a68b7e19e639fa890965c0123e7527b8a73d97067959c0dd064f990,Map [("bocymudpoicnetecztjlrmfwawnh",11)]),(688be1cce9a15b52fe25fa9250e3785260a1154d77923b111f9633f3a1b4d1d2,Map [("uhodrbgifxgus",6)]),(746658c7d31bdc14999389bd7ecd5c4f49ef25838c8dd032253460096f594785,Map [("astttrglcb",10)]),(77304182873f6db0b3cf5640959f25f606be455339f647a9d8aea90be1ac0b19,Map [("glsbddsgnjqubchvujsk",12)]),(7a9be4f3a7b6b58767ca7f9113d025906977f910476adcd6c12b3c20e7c26895,Map [("kwruzamolwy",13)]),(a7dbb2e86442b505ac3a89cf09a04ae01e97d6f2b9a2ad397ad0cd685e2aa524,Map [("sehpxfqwch",7)]),(bb431c2aff34b1c4cf3495e8489dcc27e3d1e30db44ddd204b67dbf6b26c86d3,Map [("tfrbiglzm",16)]),(f5e8f109b9c4f4c41a74cd5afec2b1e98caeb64046ba101fe127ba7116269609,Map [("kdpuxep",14)]),(fdf42bfc2069c6008656636e51de0cd6a5fddb0ddf2c822040497889dd7ede61,Map [("rnycluewxyzhqhlwgosycauaqjcpga",6)])]) +Effect should pass +λ> generate (genTWECases RemaindersDoNotReturnToTreasuries) >>= (\gen -> return $ classifyTWE gen) +Value (Map [])Value (Map [(121c44a6147e3c5a144c66b5a4d17b2c068cd08ce53e94411fc67bb7b7d1c5aa,Map [("wuuirfmmceayeh",8)]),(1de3a87023f68132ca77757f0c878aa364d8fb8d585e4397b6625f0b5d821174,Map [("evg",10)]),(3459af0ee43f10a166e3901c2e46bd555a55c3b2f4c106c704df9cfe86f0a436,Map [("f",7)]),(47aa5af98961534c1d43c9c128467d988942f7b6254d1d717ef577713505d1fb,Map [("nnwgmiwur",12)]),(547e9884d98621b2cbd7f20bc2750840aa620c4e21725ab0f829e387fd91c237,Map [("dpifezxzchozzcbskjidbkkmbrdia",12)]),(8bb46f797e3918a92508aef0f7ba92d010bf98369dba4c4e6f2cf290ef539c46,Map [("vtursqavaohbm",2)]),(901c660dd877357deb86dc077a55b52fd26d40992e5c73d6d6bbbccb756c6499,Map [("hvppyoxvuchwklmkol",3)]),(a82e1e66148e951164ed36518043debab2a97d8d2956e04f142b9683c78add03,Map [("lpevqtvlbkpcwnzvxtmxudnxis",13)]),(b0941b47be36d3a66469b9d2a6f33c8f9f52a82ee18ec0992589ae8343e3d274,Map [("lwipwoeaszrlgevzxmu",11)]),(e42be7218f1581aa320b556abcfe8d6dd0bdeb39803048457ea10f5c88588580,Map [("yozctlprcsfpymitjflnbaszuvu",13)]),(ed05a3172f887a4aaa5141c3cd56e39db21319f4d6bdb335e84a052961e8dcd8,Map [("oodjfvwqkqhvzslsz",15)]),(ef7868d93b34c69879b9c2353e36f39e2ae12d600da239c4273287335cfd1443,Map [("ocnaoadtkiuhttcowdnno",3)])]) +Remainding Values do not return to input treasuries +λ> generate (genTWECases RemaindersDoNotReturnToTreasuries) >>= (\gen -> return $ classifyTWE gen) +Remainding Values do not return to input treasuries +λ> generate (genTWECases RemaindersDoNotReturnToTreasuries) >>= (\gen -> return $ classifyTWE gen) +Remainding Values do not return to input treasuries +λ> generate (genTWECases RemaindersDoNotReturnToTreasuries) >>= (\gen -> return $ classifyTWE gen) +Remainding Values do not return to input treasuries +λ> generate (genTWECases RemaindersDoNotReturnToTreasuries) >>= (\gen -> return $ classifyTWE gen) +Remainding Values do not return to input treasuries +λ> import Test.Tasty +λ> defaultMain $ testProperty "hey" (monadicIO prop) +hey: Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesEffect should pass +FAIL + *** Failed! Falsified (after 5 tests): + Remainding Values do not return to input treasuries + Use --quickcheck-replay=299123 to reproduce. + +1 out of 1 tests failed (0.01s) +*** Exception: ExitFailure 1 +λ> defaultMain $ testProperty "hey" (monadicIO prop) +Effect should passEffect should pass +hey: Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +OK (0.09s) + +++ OK, passed 100 tests. + +All 1 tests passed (0.09s) +*** Exception: ExitSuccess +λ> defaultMain $ testProperty "hey" (monadicIO prop) +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +hey: Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesEffect should pass +FAIL (0.10s) + *** Failed! Falsified (after 98 tests): + Remainding Values do not return to input treasuries + Use --quickcheck-replay=869410 to reproduce. + +1 out of 1 tests failed (0.10s) +*** Exception: ExitFailure 1 +λ> defaultMain $ testProperty "hey" (monadicIO prop) +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +hey: Effect should passEffect should pass +Remainding Values do not return to input treasuriesEffect should pass +FAIL + *** Failed! Falsified (after 5 tests): + Remainding Values do not return to input treasuries + Use --quickcheck-replay=38157 to reproduce. + +1 out of 1 tests failed (0.01s) +*** Exception: ExitFailure 1 +λ> defaultMain $ testProperty "hey" (monadicIO prop) +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +hey: Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +OK (0.10s) + +++ OK, passed 100 tests. + +All 1 tests passed (0.10s) +*** Exception: ExitSuccess +λ> +Effect shouhey: ld passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +OK (0.09s) + +++ OK, passed 100 tests. + +All 1 tests passed (0.09s) +*** Exception: ExitSuccess +λ> defaultMain $ testProperty "hey" (monadicIO prop) +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +hey: Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +OK (0.10s) + +++ OK, passed 100 tests. + +All 1 tests passed (0.10s) +*** Exception: ExitSuccess +λ> defaultMain $ testProperty "hey" (monadicIO prop) +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +hey: Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +OK (0.10s) + +++ OK, passed 100 tests. + +All 1 tests passed (0.10s) +*** Exception: ExitSuccess +λ> defaultMain $ testProperty "hey" (monadicIO prop) +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +hey: Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +OK (0.10s) + +++ OK, passed 100 tests. + +All 1 tests passed (0.10s) +*** Exception: ExitSuccess +λ> defaultMain $ testProperty "hey" (monadicIO prop) +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +hey: Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +OK (0.10s) + +++ OK, passed 100 tests. + +All 1 tests passed (0.10s) +*** Exception: ExitSuccess +λ> defaultMain $ testProperty "hey" (monadicIO prop) +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +hey: Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +OK (0.09s) + +++ OK, passed 100 tests. + +All 1 tests passed (0.09s) +*** Exception: ExitSuccess +λ> defaultMain $ testProperty "hey" (monadicIO prop) +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +hey: Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +OK (0.10s) + +++ OK, passed 100 tests. + +All 1 tests passed (0.10s) +*** Exception: ExitSuccess +λ> :{ +unknown command ':{go' +use :? for help. +λ> defaultMain . adjustOption _go $ testProperty "hey" (monadicIO prop) +Transachey: tion has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Effect should passEffect should pass +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction pays to effectTransaction pays to effect +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Transaction pays to effectTransaction pays to effect +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Remainding Values do not return to input treasuriesRemainding Values do not return to input treasuries +Effect should passEffect should pass +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction outputs do not match receiversTransaction outputs do not match receivers +Transaction has script input that is not specified in datumTransaction has script input that is not specified in datum +Transaction pays to effectTransaction pays to effect +Interrupted. +λ> defaultMain . adjustOption _go $ testProperty "Generator <-> Classifier" (monadicIO prop) +hey: OK (5.52s) + +++ OK, passed 10000 tests. + +All 1 tests passed (5.52s) +*** Exception: ExitSuccess +λ> \ No newline at end of file diff --git a/agora-test/Spec/Effect/GovernorMutation.hs b/agora-spec/Spec/Effect/GovernorMutation.hs similarity index 100% rename from agora-test/Spec/Effect/GovernorMutation.hs rename to agora-spec/Spec/Effect/GovernorMutation.hs diff --git a/agora-test/Spec/Effect/TreasuryWithdrawal.hs b/agora-spec/Spec/Effect/TreasuryWithdrawal.hs similarity index 100% rename from agora-test/Spec/Effect/TreasuryWithdrawal.hs rename to agora-spec/Spec/Effect/TreasuryWithdrawal.hs diff --git a/agora-spec/Spec/Effect/TreasuryWithdrawal.hs~ b/agora-spec/Spec/Effect/TreasuryWithdrawal.hs~ new file mode 100644 index 0000000..a02b483 --- /dev/null +++ b/agora-spec/Spec/Effect/TreasuryWithdrawal.hs~ @@ -0,0 +1,422 @@ +{- | +Module : Spec.Effect.TreasuryWithdrawalEffect +Maintainer : seungheon.ooh@gmail.com +Description: Sample based testing for Treasury Withdrawal Effect + +This module tests the Treasury Withdrawal Effect. +-} +module Spec.Effect.TreasuryWithdrawal (tests) where + +import Agora.Effect.TreasuryWithdrawal ( + TreasuryWithdrawalDatum (TreasuryWithdrawalDatum), + treasuryWithdrawalValidator, + PTreasuryWithdrawalDatum + ) +import Plutus.V1.Ledger.Api +import Plutarch.Builtin +import Plutus.V1.Ledger.Value qualified as Value +import Plutus.V1.Ledger.Interval qualified as Interval +import Plutarch.Api.V1 +import Sample.Effect.TreasuryWithdrawal +import Sample.Sample +import Test.Util (effectFailsWith, effectSucceedsWith) +import Agora.Utils +import Test.QuickCheck +import Test.QuickCheck.Monadic + +import Test.Tasty (TestTree, testGroup) +import Test.Tasty.QuickCheck +import Test.Tasty.Plutarch.Property (classifiedProperty) + +import Data.Tagged +import Data.Universe + +import Control.Applicative + +type TWETestInput = (TreasuryWithdrawalDatum, TxInfo) +data TWETestCases + = PaysToEffect + | OutputsDoNotMatchReceivers + | InputsHaveOtherScriptInput + | RemaindersDoNotReturnToTreasuries + | EffectShouldPass + deriving stock (Eq) + +instance Show TWETestCases where + show = \case + PaysToEffect -> "Transaction pays to effect" + OutputsDoNotMatchReceivers -> "Transaction outputs do not match receivers" + InputsHaveOtherScriptInput -> "Transaction has script input that is not specified in datum" + RemaindersDoNotReturnToTreasuries -> "Remainding Values do not return to input treasuries" + EffectShouldPass -> "Effect should pass" + +instance Universe TWETestCases where + universe = + [ PaysToEffect + , OutputsDoNotMatchReceivers + , InputsHaveOtherScriptInput + , RemaindersDoNotReturnToTreasuries +-- , EffectShouldPass + ] + +instance Finite TWETestCases where + universeF = universe + cardinality = Tagged 5 + +-- TODO: Some unideal repeated patterns here +genTWECases :: TWETestCases -> Gen TWETestInput +genTWECases PaysToEffect = do + datum <- genTWEDatum + -- Would be nice to randomize number of outputs to effect + vals <- listOf1 genAnyValue + let toEffect = + (\val -> TxOut + { txOutAddress = Address (ScriptCredential $ validatorHash validator) Nothing + , txOutValue = val + , txOutDatumHash = Nothing + }) <$> vals + modify (i, o) = return (i, o <> toEffect) + txinfo <- txInfoFromTWEDatum modify datum + return (datum, txinfo) +genTWECases OutputsDoNotMatchReceivers = do + datum <- genTWEDatum + let modify (i, o) = do + -- unfortunately `sublistOf` sometimes returns same array. + -- So tail is used to make sure there is aleast one thing missing + output <- sublistOf $ tail o + return (i, output) + txinfo <- txInfoFromTWEDatum modify datum + return (datum, txinfo) +genTWECases InputsHaveOtherScriptInput = do + datum <- genTWEDatum + let modify (i, o) = do + d <- listOf1 $ liftA2 (,) genScriptCredential genAnyValue + + let unauthorizedScriptInputs = + (\(addr, val) -> + TxInInfo + (TxOutRef "0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be" 1) + TxOut + { txOutAddress = Address addr Nothing + , txOutValue = val + , txOutDatumHash = Nothing + }) <$> d + return (i <> unauthorizedScriptInputs, o) + txinfo <- txInfoFromTWEDatum modify datum + return (datum, txinfo) +genTWECases RemaindersDoNotReturnToTreasuries = do + -- suchThat here might be unideal, but it's what we've got... + -- Possible Fix, use random input amount for treasury inputs + -- so that it always have excess + datum <- genTWEDatum `suchThat` (\(TreasuryWithdrawalDatum r t) -> + let totalExpected = mconcat $ snd <$> r + ts = length t + in + totalExpected /= mconcat (replicate ts $ distributeValue ts totalExpected) + ) + let modify (i, o) = do + -- We'll drop all outputs directed to ScriptCredential + let treasuryDroppedOutput = + filter (\(addressCredential . txOutAddress -> x) -> case x of + PubKeyCredential _ -> True + ScriptCredential _ -> False + ) o + return (i, treasuryDroppedOutput) + txinfo <- txInfoFromTWEDatum modify datum + return (datum, txinfo) +genTWECases EffectShouldPass = do + datum <- genTWEDatum + txinfo <- txInfoFromTWEDatum return datum + return (datum, txinfo) + +classifyTWE :: TWETestInput -> TWETestCases +classifyTWE ((TreasuryWithdrawalDatum r t), info) + | paysToEffect = PaysToEffect + | outputsDoNotMatchReceivers = OutputsDoNotMatchReceivers + | inputsHaveOtherScriptInput = InputsHaveOtherScriptInput + | remaindersDoNotReturnToTreasuries = RemaindersDoNotReturnToTreasuries + | otherwise = EffectShouldPass + where + extractCredVal txout = (addressCredential (txOutAddress txout), txOutValue txout) + credentialValuePairs = extractCredVal <$> txInfoOutputs info + paysToEffect = elem (ScriptCredential $ validatorHash validator) $ fst . extractCredVal <$> (txInfoOutputs info) + outputsDoNotMatchReceivers = not $ and $ fmap (\x -> elem x credentialValuePairs) r + inputsHaveOtherScriptInput = or $ (\(fst . extractCredVal . txInInfoResolved -> x) -> + (not $ elem x t) && + x /= (ScriptCredential $ validatorHash validator) + ) <$> txInfoInputs info + + sumValueOfTreasury x = mconcat $ snd <$> (filter (\(c,_) -> elem c t) $ x) + treasuryInputSum = sumValueOfTreasury $ extractCredVal . txInInfoResolved <$> txInfoInputs info + treasuryOutputSum = sumValueOfTreasury credentialValuePairs + expected = Value.unionWith (-) treasuryInputSum (mconcat $ snd <$> r) + remaindersDoNotReturnToTreasuries = treasuryOutputSum /= expected + +shrinkTWE :: TWETestInput -> [TWETestInput] +shrinkTWE = const [] -- currently this should work... + +expectedTWE :: Term s (PBuiltinPair PTreasuryWithdrawalDatum PTxInfo :--> PMaybe PUnit) +expectedTWE = plam $ \_input -> pcon $ PNothing + +opaqueToUnit :: Term s (POpaque :--> PUnit) +opaqueToUnit = plam $ \_ -> pconstant () + +definitionTWE :: Term s (PBuiltinPair PTreasuryWithdrawalDatum PTxInfo :--> PUnit) +definitionTWE = plam $ \input -> unTermCont $ do + datum <- tclet $ pfstBuiltin # input + txinfo <- tclet $ psndBuiltin # input + + let scriptContext = + pcon $ PScriptContext $ + pdcons @"txInfo" # pdata txinfo + #$ pdcons @"purpose" # pdata (pconstant $ Spending (TxOutRef "0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be" 1)) + # pdnil + + pure $ opaqueToUnit #$ treasuryWithdrawalValidator currSymbol + # pforgetData (pdata datum) + # pforgetData (pdata (pconstant ())) + # scriptContext + +propertyTWE :: Property +propertyTWE = classifiedProperty genTWECases shrinkTWE expectedTWE classifyTWE definitionTWE + +{- | Generates "lawful" ScriptContext from given TreasuryWithdrawalDatum. +Other cases can use this ScriptContext to derive from and develop +a case specific contexts with generators. + +TODO: will this work okay with generators adding and removing +parts? I don't see particular reason it will not to, but will +that be a "good" generator? +-} +txInfoFromTWEDatum :: (([TxInInfo], [TxOut]) -> Gen ([TxInInfo], [TxOut])) -> TreasuryWithdrawalDatum -> Gen TxInfo +txInfoFromTWEDatum cb datum = do + (input, output) <- cb (expectedInput, expectedOutput) + return $ + TxInfo + { txInfoInputs = input + , txInfoOutputs = output + , txInfoFee = Value.singleton "" "" 2 + , txInfoMint = Value.singleton currSymbol validatorHashTN (-1) + , txInfoDCert = [] + , txInfoWdrl = [] + , txInfoValidRange = Interval.always + , txInfoSignatories = [signer] + , txInfoData = [] + , txInfoId = "0b123412341234" + } + where + (expectedInput, excessOutputs) = expectedTxInInfoFromTWEDatum datum + expectedOutput = expectedTxOutFromTWEDatum datum <> excessOutputs + +expectedTxOutFromTWEDatum :: TreasuryWithdrawalDatum -> [TxOut] +expectedTxOutFromTWEDatum (TreasuryWithdrawalDatum r _) = + f <$> r -- add outputs to treasuries, returning excess STs. + where + f (addr, val) = TxOut + { txOutAddress = Address addr Nothing + , txOutValue = val + , txOutDatumHash = Nothing + } + +{- | Generates expected inputs from given Datum +-} +expectedTxInInfoFromTWEDatum :: TreasuryWithdrawalDatum -> ([TxInInfo], [TxOut]) +expectedTxInInfoFromTWEDatum (TreasuryWithdrawalDatum r t) = + (inputGAT:((\addr -> TxInInfo + (TxOutRef "0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be" 1) + TxOut + { txOutAddress = Address addr Nothing + , txOutValue = treasuryInputValue + , txOutDatumHash = Nothing + }) + <$> t) + , [TxOut + { txOutAddress = Address (head t) Nothing + , txOutValue = extras + , txOutDatumHash = Nothing + }]) + where + totalValues = mconcat $ snd <$> r + treasuryInputValue = distributeValue (length t) totalValues + extras = Value.unionWith (-) (mconcat (replicate (length t) treasuryInputValue)) $ totalValues + +distributeValue :: Int -> Value -> Value +distributeValue n v = mconcat $ (\(cs, tn, (toInteger -> val)) -> Value.singleton cs tn val) <$> vals + where + vals = (\(cs, tn, (fromInteger -> val)) -> (cs, tn, val `divRound` n)) <$> Value.flattenValue v + divRound x y = case divMod x y of + (x, 0) -> x + (x, _) -> x + 1 + +genTWEDatum :: Gen TreasuryWithdrawalDatum +genTWEDatum = do + -- Make several random assetclasses to choose from + ac <- listOf1 genAssetClass + + -- Make several random users + users <- listOf1 genUserCredential + + -- Make several random treasuries + treas <- listOf1 genScriptCredential + + -- Make random amounts of values that transaction will have + values <- listOf1 $ elements ac >>= genValue + + let receiverList = zipWith (,) users values + pure $ TreasuryWithdrawalDatum receiverList treas + +prop :: PropertyM IO Bool +prop = forAllM (elements (universe :: [TWETestCases])) (\c -> run $ generate (genTWECases c) >>= (\gen -> return $ c == classifyTWE gen)) + +tests :: [TestTree] +tests = + [ testProperty "Generator <-> Classifier" (monadicIO prop) + , testProperty "effect" propertyTWE + , effectSucceedsWith + "test" + (treasuryWithdrawalValidator currSymbol) + datum1 + ( buildScriptContext + [ inputGAT + , inputCollateral 10 + , inputTreasury 1 (asset1 10) + ] + $ outputTreasury 1 (asset1 7) : + buildReceiversOutputFromDatum datum1 + ) + , testGroup + "effect" + [ effectSucceedsWith + "Simple" + (treasuryWithdrawalValidator currSymbol) + datum1 + ( buildScriptContext + [ inputGAT + , inputCollateral 10 + , inputTreasury 1 (asset1 10) + ] + $ outputTreasury 1 (asset1 7) : + buildReceiversOutputFromDatum datum1 + ) + , effectSucceedsWith + "Simple with multiple treasuries " + (treasuryWithdrawalValidator currSymbol) + datum1 + ( buildScriptContext + [ inputGAT + , inputCollateral 10 + , inputTreasury 1 (asset1 10) + , inputTreasury 2 (asset1 100) + , inputTreasury 3 (asset1 500) + ] + $ [ outputTreasury 1 (asset1 7) + , outputTreasury 2 (asset1 100) + , outputTreasury 3 (asset1 500) + ] + ++ buildReceiversOutputFromDatum datum1 + ) + , effectSucceedsWith + "Mixed Assets" + (treasuryWithdrawalValidator currSymbol) + datum2 + ( buildScriptContext + [ inputGAT + , inputCollateral 10 + , inputTreasury 1 (asset1 20) + , inputTreasury 2 (asset2 20) + ] + $ [ outputTreasury 1 (asset1 13) + , outputTreasury 2 (asset2 14) + ] + ++ buildReceiversOutputFromDatum datum2 + ) + , effectFailsWith + "Pay to uknown 3rd party" + (treasuryWithdrawalValidator currSymbol) + datum2 + ( buildScriptContext + [ inputGAT + , inputCollateral 10 + , inputTreasury 1 (asset1 20) + , inputTreasury 2 (asset2 20) + ] + $ [ outputUser 100 (asset1 2) + , outputTreasury 1 (asset1 11) + , outputTreasury 2 (asset2 14) + ] + ++ buildReceiversOutputFromDatum datum2 + ) + , effectFailsWith + "Missing receiver" + (treasuryWithdrawalValidator currSymbol) + datum2 + ( buildScriptContext + [ inputGAT + , inputCollateral 10 + , inputTreasury 1 (asset1 20) + , inputTreasury 2 (asset2 20) + ] + $ [ outputTreasury 1 (asset1 13) + , outputTreasury 2 (asset2 14) + ] + ++ drop 1 (buildReceiversOutputFromDatum datum2) + ) + , effectFailsWith + "Unauthorized treasury" + (treasuryWithdrawalValidator currSymbol) + datum3 + ( buildScriptContext + [ inputGAT + , inputCollateral 10 + , inputTreasury 999 (asset1 20) + ] + $ outputTreasury 999 (asset1 17) : + buildReceiversOutputFromDatum datum3 + ) + , effectFailsWith + "Prevent transactions besides the withdrawal" + (treasuryWithdrawalValidator currSymbol) + datum3 + ( buildScriptContext + [ inputGAT + , inputTreasury 1 (asset1 20) + , inputTreasury 999 (asset1 20) + , inputUser 99 (asset2 100) + ] + $ [ outputTreasury 1 (asset1 17) + , outputUser 100 (asset2 100) + ] + ++ buildReceiversOutputFromDatum datum3 + ) + ] + ] + where + asset1 = Value.singleton "abbc12" "OrangeBottle" + asset2 = Value.singleton "abbc12" "19721121" + datum1 = + TreasuryWithdrawalDatum + [ (head users, asset1 1) + , (users !! 1, asset1 1) + , (users !! 2, asset1 1) + ] + [ treasuries !! 1 + , treasuries !! 2 + , treasuries !! 3 + ] + datum2 = + TreasuryWithdrawalDatum + [ (head users, asset1 4 <> asset2 5) + , (users !! 1, asset1 2 <> asset2 1) + , (users !! 2, asset1 1) + ] + [ head treasuries + , treasuries !! 1 + , treasuries !! 2 + ] + datum3 = + TreasuryWithdrawalDatum + [ (head users, asset1 1) + , (users !! 1, asset1 1) + , (users !! 2, asset1 1) + ] + [treasuries !! 1] diff --git a/agora-test/Spec/Governor.hs b/agora-spec/Spec/Governor.hs similarity index 100% rename from agora-test/Spec/Governor.hs rename to agora-spec/Spec/Governor.hs diff --git a/agora-test/Spec/Model/MultiSig.hs b/agora-spec/Spec/Model/MultiSig.hs similarity index 100% rename from agora-test/Spec/Model/MultiSig.hs rename to agora-spec/Spec/Model/MultiSig.hs diff --git a/agora-test/Spec/Proposal.hs b/agora-spec/Spec/Proposal.hs similarity index 100% rename from agora-test/Spec/Proposal.hs rename to agora-spec/Spec/Proposal.hs diff --git a/agora-test/Spec/Spec.hs b/agora-spec/Spec/Spec.hs similarity index 100% rename from agora-test/Spec/Spec.hs rename to agora-spec/Spec/Spec.hs diff --git a/agora-test/Spec/Stake.hs b/agora-spec/Spec/Stake.hs similarity index 100% rename from agora-test/Spec/Stake.hs rename to agora-spec/Spec/Stake.hs diff --git a/agora-test/Spec/Treasury.hs b/agora-spec/Spec/Treasury.hs similarity index 100% rename from agora-test/Spec/Treasury.hs rename to agora-spec/Spec/Treasury.hs diff --git a/agora-test/Spec/Utils.hs b/agora-spec/Spec/Utils.hs similarity index 100% rename from agora-test/Spec/Utils.hs rename to agora-spec/Spec/Utils.hs diff --git a/agora-test/README.org b/agora-test/README.org deleted file mode 100644 index d7e7d2c..0000000 --- a/agora-test/README.org +++ /dev/null @@ -1,11 +0,0 @@ -#+Title: Agora Test -This folder is the test suite for Agora governance system. - -- =/Spec= contains different tests for different elements of Agora. -- =/Spec/Model= contain =apropos-tx= model for logical suite - generation and tests. -- =/Spec/Sample= contains primitive hand-made example values. -- =Util.hs= contains helper functions - -Currently, planning to introduce =plutarch-test= for unit tests, -benchmarks, and golden tests. diff --git a/agora.cabal b/agora.cabal index 8677046..1e1eb81 100644 --- a/agora.cabal +++ b/agora.cabal @@ -179,12 +179,9 @@ library agora-sample hs-source-dirs: agora-sample build-depends: agora-testlib -test-suite agora-test - import: lang, deps, test-deps - type: exitcode-stdio-1.0 - main-is: Spec.hs - hs-source-dirs: agora-test - other-modules: +library agora-spec + import: lang, deps, test-deps + exposed-modules: Spec.AuthorityToken Spec.Effect.GovernorMutation Spec.Effect.TreasuryWithdrawal @@ -196,10 +193,21 @@ test-suite agora-test Spec.Treasury Spec.Utils + hs-source-dirs: agora-spec build-depends: , agora-sample , agora-testlib +test-suite agora-test + import: lang, deps, test-deps + type: exitcode-stdio-1.0 + main-is: Spec.hs + hs-source-dirs: agora-test + build-depends: + , agora-sample + , agora-spec + , agora-testlib + benchmark agora-bench import: lang, deps hs-source-dirs: agora-bench