From eda12644e56f761c5bec6ab29dee64ef5ab7c49d Mon Sep 17 00:00:00 2001 From: Seungheon Oh Date: Tue, 24 May 2022 14:48:03 -0500 Subject: [PATCH] emacs backups are sneaking into commits --- agora-spec/Spec/Effect/*agora* | 4299 ----------------- agora-spec/Spec/Effect/TreasuryWithdrawal.hs~ | 422 -- 2 files changed, 4721 deletions(-) delete mode 100644 agora-spec/Spec/Effect/*agora* delete mode 100644 agora-spec/Spec/Effect/TreasuryWithdrawal.hs~ diff --git a/agora-spec/Spec/Effect/*agora* b/agora-spec/Spec/Effect/*agora* deleted file mode 100644 index 8716896..0000000 --- a/agora-spec/Spec/Effect/*agora* +++ /dev/null @@ -1,4299 +0,0 @@ -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-spec/Spec/Effect/TreasuryWithdrawal.hs~ b/agora-spec/Spec/Effect/TreasuryWithdrawal.hs~ deleted file mode 100644 index a02b483..0000000 --- a/agora-spec/Spec/Effect/TreasuryWithdrawal.hs~ +++ /dev/null @@ -1,422 +0,0 @@ -{- | -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]