diff --git a/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden b/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden index 8d31bed970e..3df829ebb1d 100644 --- a/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden +++ b/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden @@ -2,44 +2,44 @@ Hash n bytestrings onto G1 and add points n Script size CPU usage Memory usage ---------------------------------------------------------------------- - 0 77 (0.5%) 100 (0.0%) 100 (0.0%) - 10 187 (1.1%) 676580182 (6.8%) 39342 (0.3%) - 20 297 (1.8%) 1353326072 (13.5%) 75702 (0.5%) - 30 407 (2.5%) 2030071962 (20.3%) 112062 (0.8%) - 40 517 (3.2%) 2706817852 (27.1%) 148422 (1.1%) - 50 627 (3.8%) 3383563742 (33.8%) 184782 (1.3%) - 60 737 (4.5%) 4060309632 (40.6%) 221142 (1.6%) - 70 847 (5.2%) 4737055522 (47.4%) 257502 (1.8%) - 80 957 (5.8%) 5413801412 (54.1%) 293862 (2.1%) - 90 1067 (6.5%) 6090547302 (60.9%) 330222 (2.4%) - 100 1177 (7.2%) 6767293192 (67.7%) 366582 (2.6%) - 110 1287 (7.9%) 7444039082 (74.4%) 402942 (2.9%) - 120 1397 (8.5%) 8120784972 (81.2%) 439302 (3.1%) - 130 1507 (9.2%) 8797530862 (88.0%) 475662 (3.4%) - 140 1617 (9.9%) 9474276752 (94.7%) 512022 (3.7%) - 150 1727 (10.5%) 10151022642 (101.5%) 548382 (3.9%) + 0 75 (0.5%) 100 (0.0%) 100 (0.0%) + 10 185 (1.1%) 676511182 (6.8%) 39042 (0.3%) + 20 295 (1.8%) 1353257072 (13.5%) 75402 (0.5%) + 30 405 (2.5%) 2030002962 (20.3%) 111762 (0.8%) + 40 515 (3.1%) 2706748852 (27.1%) 148122 (1.1%) + 50 625 (3.8%) 3383494742 (33.8%) 184482 (1.3%) + 60 735 (4.5%) 4060240632 (40.6%) 220842 (1.6%) + 70 845 (5.2%) 4736986522 (47.4%) 257202 (1.8%) + 80 955 (5.8%) 5413732412 (54.1%) 293562 (2.1%) + 90 1065 (6.5%) 6090478302 (60.9%) 329922 (2.4%) + 100 1175 (7.2%) 6767224192 (67.7%) 366282 (2.6%) + 110 1285 (7.8%) 7443970082 (74.4%) 402642 (2.9%) + 120 1395 (8.5%) 8120715972 (81.2%) 439002 (3.1%) + 130 1505 (9.2%) 8797461862 (88.0%) 475362 (3.4%) + 140 1615 (9.9%) 9474207752 (94.7%) 511722 (3.7%) + 150 1725 (10.5%) 10150953642 (101.5%) 548082 (3.9%) Hash n bytestrings onto G2 and add points n Script size CPU usage Memory usage ---------------------------------------------------------------------- - 0 77 (0.5%) 100 (0.0%) 100 (0.0%) - 10 187 (1.1%) 2070864812 (20.7%) 39684 (0.3%) - 20 297 (1.8%) 4143208322 (41.4%) 76404 (0.5%) - 30 407 (2.5%) 6215551832 (62.2%) 113124 (0.8%) - 40 517 (3.2%) 8287895342 (82.9%) 149844 (1.1%) - 50 627 (3.8%) 10360238852 (103.6%) 186564 (1.3%) - 60 737 (4.5%) 12432582362 (124.3%) 223284 (1.6%) - 70 847 (5.2%) 14504925872 (145.0%) 260004 (1.9%) - 80 957 (5.8%) 16577269382 (165.8%) 296724 (2.1%) - 90 1067 (6.5%) 18649612892 (186.5%) 333444 (2.4%) - 100 1177 (7.2%) 20721956402 (207.2%) 370164 (2.6%) - 110 1287 (7.9%) 22794299912 (227.9%) 406884 (2.9%) - 120 1397 (8.5%) 24866643422 (248.7%) 443604 (3.2%) - 130 1507 (9.2%) 26938986932 (269.4%) 480324 (3.4%) - 140 1617 (9.9%) 29011330442 (290.1%) 517044 (3.7%) - 150 1727 (10.5%) 31083673952 (310.8%) 553764 (4.0%) + 0 75 (0.5%) 100 (0.0%) 100 (0.0%) + 10 185 (1.1%) 2070795812 (20.7%) 39384 (0.3%) + 20 295 (1.8%) 4143139322 (41.4%) 76104 (0.5%) + 30 405 (2.5%) 6215482832 (62.2%) 112824 (0.8%) + 40 515 (3.1%) 8287826342 (82.9%) 149544 (1.1%) + 50 625 (3.8%) 10360169852 (103.6%) 186264 (1.3%) + 60 735 (4.5%) 12432513362 (124.3%) 222984 (1.6%) + 70 845 (5.2%) 14504856872 (145.0%) 259704 (1.9%) + 80 955 (5.8%) 16577200382 (165.8%) 296424 (2.1%) + 90 1065 (6.5%) 18649543892 (186.5%) 333144 (2.4%) + 100 1175 (7.2%) 20721887402 (207.2%) 369864 (2.6%) + 110 1285 (7.8%) 22794230912 (227.9%) 406584 (2.9%) + 120 1395 (8.5%) 24866574422 (248.7%) 443304 (3.2%) + 130 1505 (9.2%) 26938917932 (269.4%) 480024 (3.4%) + 140 1615 (9.9%) 29011261442 (290.1%) 516744 (3.7%) + 150 1725 (10.5%) 31083604952 (310.8%) 553464 (4.0%) Uncompress n G1 points and add the results @@ -103,7 +103,7 @@ VRF example n Script size CPU usage Memory usage ---------------------------------------------------------------------- - - 714 (4.4%) 1303368563 (13.0%) 49449 (0.4%) + - 715 (4.4%) 1303368563 (13.0%) 49449 (0.4%) G1 Verify @@ -127,7 +127,7 @@ Aggregate Multi Key n Script size CPU usage Memory usage ---------------------------------------------------------------------- - - 1701 (10.4%) 3676960887 (36.8%) 430886 (3.1%) + - 1704 (10.4%) 3676891887 (36.8%) 430586 (3.1%) Schnorr Signature G1 diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.eval.golden index 0bcd0fa3a2b..8d262577e58 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.eval.golden @@ -1,2 +1,2 @@ -({cpu: 215190496 -| mem: 740280}) \ No newline at end of file +({cpu: 215121496 +| mem: 739980}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.eval.golden index 4e53e811801..f35bb2c2cd9 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.eval.golden @@ -1,2 +1,2 @@ -({cpu: 318563258 -| mem: 1148984}) \ No newline at end of file +({cpu: 318494258 +| mem: 1148684}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.eval.golden index 3992fe7c118..3aa36399bb2 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.eval.golden @@ -1,2 +1,2 @@ -({cpu: 233064631 -| mem: 813142}) \ No newline at end of file +({cpu: 232995631 +| mem: 812842}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.eval.golden index 0742449755d..e75d4a2f467 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 193813161 -| mem: 665714}) \ No newline at end of file +({cpu: 193744161 +| mem: 665414}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.eval.golden index 7be6b2dadd5..d020eae21f4 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.eval.golden @@ -1,2 +1,2 @@ -({cpu: 215630084 -| mem: 741820}) \ No newline at end of file +({cpu: 215561084 +| mem: 741520}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.eval.golden index b13c109aebf..cb85afffc94 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.eval.golden @@ -1,2 +1,2 @@ -({cpu: 198410174 -| mem: 675264}) \ No newline at end of file +({cpu: 198341174 +| mem: 674964}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.eval.golden index f9b063de1e1..c38dc88ad1a 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.eval.golden @@ -1,2 +1,2 @@ -({cpu: 196916597 -| mem: 670062}) \ No newline at end of file +({cpu: 196847597 +| mem: 669762}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.eval.golden index b3a2fa5eea1..823eca85fa9 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.eval.golden @@ -1,2 +1,2 @@ -({cpu: 242350272 -| mem: 842458}) \ No newline at end of file +({cpu: 242281272 +| mem: 842158}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.eval.golden index 8bf896954d9..e02b154d7fe 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.eval.golden @@ -1,2 +1,2 @@ -({cpu: 231983448 -| mem: 807632}) \ No newline at end of file +({cpu: 231914448 +| mem: 807332}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.eval.golden index a77f499e23f..cdc9830e49a 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.eval.golden @@ -1,2 +1,2 @@ -({cpu: 212366629 -| mem: 731700}) \ No newline at end of file +({cpu: 212297629 +| mem: 731400}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.eval.golden index 213223b9d73..a99ffbba916 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.eval.golden @@ -1,2 +1,2 @@ -({cpu: 228876366 -| mem: 790180}) \ No newline at end of file +({cpu: 228807366 +| mem: 789880}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.eval.golden index 2193ff60420..37c27ae59c4 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.eval.golden @@ -1,2 +1,2 @@ -({cpu: 237522811 -| mem: 833156}) \ No newline at end of file +({cpu: 237453811 +| mem: 832856}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.eval.golden index 983dfb9c7dc..45a07c8b45a 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.eval.golden @@ -1,2 +1,2 @@ -({cpu: 271106152 -| mem: 953580}) \ No newline at end of file +({cpu: 271037152 +| mem: 953280}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.eval.golden index 6f462e93acb..c710ee7e47a 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.eval.golden @@ -1,2 +1,2 @@ -({cpu: 194025187 -| mem: 663336}) \ No newline at end of file +({cpu: 193956187 +| mem: 663036}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.eval.golden index 8291fc0edbd..382436b5c02 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.eval.golden @@ -1,2 +1,2 @@ -({cpu: 211186829 -| mem: 726696}) \ No newline at end of file +({cpu: 211117829 +| mem: 726396}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.eval.golden index 3ca65a9a187..a69e6bbbab8 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.eval.golden @@ -1,2 +1,2 @@ -({cpu: 195543413 -| mem: 663662}) \ No newline at end of file +({cpu: 195474413 +| mem: 663362}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.eval.golden index c438e7c8be0..e63c76bf907 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.eval.golden @@ -1,2 +1,2 @@ -({cpu: 231957108 -| mem: 816128}) \ No newline at end of file +({cpu: 231888108 +| mem: 815828}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.eval.golden index 626cb7c2eb9..78835f7ccc1 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.eval.golden @@ -1,2 +1,2 @@ -({cpu: 208852885 -| mem: 721874}) \ No newline at end of file +({cpu: 208783885 +| mem: 721574}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.eval.golden index 83a3255afc8..fee03dff811 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.eval.golden @@ -1,2 +1,2 @@ -({cpu: 210080867 -| mem: 737000}) \ No newline at end of file +({cpu: 210011867 +| mem: 736700}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.eval.golden index ed0ae21f8ae..5c4a571fd39 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.eval.golden @@ -1,2 +1,2 @@ -({cpu: 236972199 -| mem: 830902}) \ No newline at end of file +({cpu: 236903199 +| mem: 830602}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.eval.golden index b7c69c0e363..15d2c18059f 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.eval.golden @@ -1,2 +1,2 @@ -({cpu: 197071500 -| mem: 677660}) \ No newline at end of file +({cpu: 197002500 +| mem: 677360}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.eval.golden index 2eb37bc75aa..939bccc3869 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.eval.golden @@ -1,2 +1,2 @@ -({cpu: 221821467 -| mem: 767608}) \ No newline at end of file +({cpu: 221752467 +| mem: 767308}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.eval.golden index 0bcd0fa3a2b..8d262577e58 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 215190496 -| mem: 740280}) \ No newline at end of file +({cpu: 215121496 +| mem: 739980}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.eval.golden index c4c3f9d3e82..50d135a4420 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.eval.golden @@ -1,2 +1,2 @@ -({cpu: 229625754 -| mem: 799928}) \ No newline at end of file +({cpu: 229556754 +| mem: 799628}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.eval.golden index 007dd69e7d9..8add4eb70f8 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 201406281 -| mem: 686966}) \ No newline at end of file +({cpu: 201337281 +| mem: 686666}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.eval.golden index 98266a57f2e..a0470678e33 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.eval.golden @@ -1,2 +1,2 @@ -({cpu: 198198210 -| mem: 677642}) \ No newline at end of file +({cpu: 198129210 +| mem: 677342}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.eval.golden index 016aa727481..0707770d712 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.eval.golden @@ -1,2 +1,2 @@ -({cpu: 197821685 -| mem: 673962}) \ No newline at end of file +({cpu: 197752685 +| mem: 673662}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.eval.golden index 9a9896e1d21..68510b0624d 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 192531548 -| mem: 658134}) \ No newline at end of file +({cpu: 192462548 +| mem: 657834}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.eval.golden index 20ac291ba82..a9322a9342f 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 218883854 -| mem: 752828}) \ No newline at end of file +({cpu: 218814854 +| mem: 752528}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.eval.golden index 928617f8c0c..6475e127613 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.eval.golden @@ -1,2 +1,2 @@ -({cpu: 206252520 -| mem: 706212}) \ No newline at end of file +({cpu: 206183520 +| mem: 705912}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.eval.golden index 175b4eff4a7..5c0cbb4d059 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.eval.golden @@ -1,2 +1,2 @@ -({cpu: 223621194 -| mem: 779702}) \ No newline at end of file +({cpu: 223552194 +| mem: 779402}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.eval.golden index 007dd69e7d9..8add4eb70f8 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.eval.golden @@ -1,2 +1,2 @@ -({cpu: 201406281 -| mem: 686966}) \ No newline at end of file +({cpu: 201337281 +| mem: 686666}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.eval.golden index 538b50223b6..3265f0b9385 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.eval.golden @@ -1,2 +1,2 @@ -({cpu: 188734988 -| mem: 647508}) \ No newline at end of file +({cpu: 188665988 +| mem: 647208}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.eval.golden index 78c1d3f235a..d9080e07766 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.eval.golden @@ -1,2 +1,2 @@ -({cpu: 211833524 -| mem: 731194}) \ No newline at end of file +({cpu: 211764524 +| mem: 730894}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.eval.golden index 046ce65577f..7445d8aad18 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.eval.golden @@ -1,2 +1,2 @@ -({cpu: 194025125 -| mem: 663336}) \ No newline at end of file +({cpu: 193956125 +| mem: 663036}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.eval.golden index 046ce65577f..7445d8aad18 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.eval.golden @@ -1,2 +1,2 @@ -({cpu: 194025125 -| mem: 663336}) \ No newline at end of file +({cpu: 193956125 +| mem: 663036}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.eval.golden index 00505aebbcd..6f190a17ae8 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.eval.golden @@ -1,2 +1,2 @@ -({cpu: 233147796 -| mem: 807900}) \ No newline at end of file +({cpu: 233078796 +| mem: 807600}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.eval.golden index 4b11cf26dbc..84181a270b6 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.eval.golden @@ -1,2 +1,2 @@ -({cpu: 204935205 -| mem: 705448}) \ No newline at end of file +({cpu: 204866205 +| mem: 705148}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.eval.golden index 854cd16e999..02051644c95 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 232567113 -| mem: 815654}) \ No newline at end of file +({cpu: 232498113 +| mem: 815354}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.eval.golden index 0bcd0fa3a2b..8d262577e58 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.eval.golden @@ -1,2 +1,2 @@ -({cpu: 215190496 -| mem: 740280}) \ No newline at end of file +({cpu: 215121496 +| mem: 739980}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.eval.golden index 2a69bc42c3d..71fe4c14804 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.eval.golden @@ -1,2 +1,2 @@ -({cpu: 240291811 -| mem: 832034}) \ No newline at end of file +({cpu: 240222811 +| mem: 831734}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.eval.golden index a30c9aec79d..b1e634439aa 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.eval.golden @@ -1,2 +1,2 @@ -({cpu: 196328108 -| mem: 668760}) \ No newline at end of file +({cpu: 196259108 +| mem: 668460}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.eval.golden index a30c9aec79d..b1e634439aa 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 196328108 -| mem: 668760}) \ No newline at end of file +({cpu: 196259108 +| mem: 668460}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/49b8275d0cb817be40865694ab05e3cfe5fc35fb43b78e7de68c1f3519b536bd.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/49b8275d0cb817be40865694ab05e3cfe5fc35fb43b78e7de68c1f3519b536bd.eval.golden index d15a312dce7..43c4b15f16e 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/49b8275d0cb817be40865694ab05e3cfe5fc35fb43b78e7de68c1f3519b536bd.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/49b8275d0cb817be40865694ab05e3cfe5fc35fb43b78e7de68c1f3519b536bd.eval.golden @@ -1,2 +1,2 @@ -({cpu: 208036964 -| mem: 720568}) \ No newline at end of file +({cpu: 207967964 +| mem: 720268}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/4dd7755b6ca1f0c9747c1fc0ee4da799f6f1c07108e980bd9f820911ad711ff2.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/4dd7755b6ca1f0c9747c1fc0ee4da799f6f1c07108e980bd9f820911ad711ff2.eval.golden index 2a1bfd1219b..b41656b9754 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/4dd7755b6ca1f0c9747c1fc0ee4da799f6f1c07108e980bd9f820911ad711ff2.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/4dd7755b6ca1f0c9747c1fc0ee4da799f6f1c07108e980bd9f820911ad711ff2.eval.golden @@ -1,2 +1,2 @@ -({cpu: 260312640 -| mem: 920068}) \ No newline at end of file +({cpu: 260243640 +| mem: 919768}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/4fbcfdb577a56b842d6f6938187a783f71d9da7519353e3da3ef0c564e1eb344.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/4fbcfdb577a56b842d6f6938187a783f71d9da7519353e3da3ef0c564e1eb344.eval.golden index 58eced362f6..97d70a93baf 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/4fbcfdb577a56b842d6f6938187a783f71d9da7519353e3da3ef0c564e1eb344.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/4fbcfdb577a56b842d6f6938187a783f71d9da7519353e3da3ef0c564e1eb344.eval.golden @@ -1,2 +1,2 @@ -({cpu: 251578853 -| mem: 885456}) \ No newline at end of file +({cpu: 251509853 +| mem: 885156}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/5a0725d49c733130eda8bc6ed5234f7f6ff8c9dd2d201e8806125e5fbcc081f9.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/5a0725d49c733130eda8bc6ed5234f7f6ff8c9dd2d201e8806125e5fbcc081f9.eval.golden index 3f9c21f096c..0d5f48a2fb7 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/5a0725d49c733130eda8bc6ed5234f7f6ff8c9dd2d201e8806125e5fbcc081f9.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/5a0725d49c733130eda8bc6ed5234f7f6ff8c9dd2d201e8806125e5fbcc081f9.eval.golden @@ -1,2 +1,2 @@ -({cpu: 207597376 -| mem: 719028}) \ No newline at end of file +({cpu: 207528376 +| mem: 718728}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/5a2aae344e569a2c644dd9fa8c7b1f129850937eb562b7748c275f9e40bed596.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/5a2aae344e569a2c644dd9fa8c7b1f129850937eb562b7748c275f9e40bed596.eval.golden index a30c9aec79d..b1e634439aa 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/5a2aae344e569a2c644dd9fa8c7b1f129850937eb562b7748c275f9e40bed596.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/5a2aae344e569a2c644dd9fa8c7b1f129850937eb562b7748c275f9e40bed596.eval.golden @@ -1,2 +1,2 @@ -({cpu: 196328108 -| mem: 668760}) \ No newline at end of file +({cpu: 196259108 +| mem: 668460}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/5ade103e9530dd0d572fe1b053ea65ad925c6ebbe321e873ace8b804363fa82c.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/5ade103e9530dd0d572fe1b053ea65ad925c6ebbe321e873ace8b804363fa82c.eval.golden index ee06225dfba..bdb85f8782b 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/5ade103e9530dd0d572fe1b053ea65ad925c6ebbe321e873ace8b804363fa82c.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/5ade103e9530dd0d572fe1b053ea65ad925c6ebbe321e873ace8b804363fa82c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 286673345 -| mem: 1028492}) \ No newline at end of file +({cpu: 286604345 +| mem: 1028192}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/5d4c62a0671c65a14f6a15093e3efc4f1816d95a5a58fd92486bedaae8d9526b.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/5d4c62a0671c65a14f6a15093e3efc4f1816d95a5a58fd92486bedaae8d9526b.eval.golden index c438e7c8be0..e63c76bf907 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/5d4c62a0671c65a14f6a15093e3efc4f1816d95a5a58fd92486bedaae8d9526b.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/5d4c62a0671c65a14f6a15093e3efc4f1816d95a5a58fd92486bedaae8d9526b.eval.golden @@ -1,2 +1,2 @@ -({cpu: 231957108 -| mem: 816128}) \ No newline at end of file +({cpu: 231888108 +| mem: 815828}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/5efe992e306e31cc857c64a62436ad2f9325acc5b4a74a8cebccdfd853ce63d2.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/5efe992e306e31cc857c64a62436ad2f9325acc5b4a74a8cebccdfd853ce63d2.eval.golden index d15a312dce7..43c4b15f16e 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/5efe992e306e31cc857c64a62436ad2f9325acc5b4a74a8cebccdfd853ce63d2.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/5efe992e306e31cc857c64a62436ad2f9325acc5b4a74a8cebccdfd853ce63d2.eval.golden @@ -1,2 +1,2 @@ -({cpu: 208036964 -| mem: 720568}) \ No newline at end of file +({cpu: 207967964 +| mem: 720268}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/622a7f3bc611b5149253c9189da022a9ff296f60a5b7c172a6dc286faa7284fa.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/622a7f3bc611b5149253c9189da022a9ff296f60a5b7c172a6dc286faa7284fa.eval.golden index 405fa06a55a..989e9da844b 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/622a7f3bc611b5149253c9189da022a9ff296f60a5b7c172a6dc286faa7284fa.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/622a7f3bc611b5149253c9189da022a9ff296f60a5b7c172a6dc286faa7284fa.eval.golden @@ -1,2 +1,2 @@ -({cpu: 239672827 -| mem: 838084}) \ No newline at end of file +({cpu: 239603827 +| mem: 837784}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/6621a69217f09d91f42876a9c0cecf79de0e29bdd5b16c82c6c52cf959092ec4.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/6621a69217f09d91f42876a9c0cecf79de0e29bdd5b16c82c6c52cf959092ec4.eval.golden index f85900bad28..7295a702f62 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/6621a69217f09d91f42876a9c0cecf79de0e29bdd5b16c82c6c52cf959092ec4.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/6621a69217f09d91f42876a9c0cecf79de0e29bdd5b16c82c6c52cf959092ec4.eval.golden @@ -1,2 +1,2 @@ -({cpu: 219701342 -| mem: 762476}) \ No newline at end of file +({cpu: 219632342 +| mem: 762176}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/674b0577409957172ad85223c765d17e94c27714276c49c38dfae0a47a561a1e.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/674b0577409957172ad85223c765d17e94c27714276c49c38dfae0a47a561a1e.eval.golden index 9a9896e1d21..68510b0624d 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/674b0577409957172ad85223c765d17e94c27714276c49c38dfae0a47a561a1e.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/674b0577409957172ad85223c765d17e94c27714276c49c38dfae0a47a561a1e.eval.golden @@ -1,2 +1,2 @@ -({cpu: 192531548 -| mem: 658134}) \ No newline at end of file +({cpu: 192462548 +| mem: 657834}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/6b7bc2b9002a71b33cfd535d43f26334a283d0b9ad189b7cd74baac232c3b9fc.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/6b7bc2b9002a71b33cfd535d43f26334a283d0b9ad189b7cd74baac232c3b9fc.eval.golden index 3ca65a9a187..a69e6bbbab8 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/6b7bc2b9002a71b33cfd535d43f26334a283d0b9ad189b7cd74baac232c3b9fc.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/6b7bc2b9002a71b33cfd535d43f26334a283d0b9ad189b7cd74baac232c3b9fc.eval.golden @@ -1,2 +1,2 @@ -({cpu: 195543413 -| mem: 663662}) \ No newline at end of file +({cpu: 195474413 +| mem: 663362}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/6c364699767a84059ffd99cf718562a8c09d96e343f23dc481e8ffda13af424f.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/6c364699767a84059ffd99cf718562a8c09d96e343f23dc481e8ffda13af424f.eval.golden index a30c9aec79d..b1e634439aa 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/6c364699767a84059ffd99cf718562a8c09d96e343f23dc481e8ffda13af424f.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/6c364699767a84059ffd99cf718562a8c09d96e343f23dc481e8ffda13af424f.eval.golden @@ -1,2 +1,2 @@ -({cpu: 196328108 -| mem: 668760}) \ No newline at end of file +({cpu: 196259108 +| mem: 668460}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/6d66bddb4269bdf77392d3894da5341cf019d39787522af4f83f01285991e93c.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/6d66bddb4269bdf77392d3894da5341cf019d39787522af4f83f01285991e93c.eval.golden index 016aa727481..0707770d712 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/6d66bddb4269bdf77392d3894da5341cf019d39787522af4f83f01285991e93c.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/6d66bddb4269bdf77392d3894da5341cf019d39787522af4f83f01285991e93c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 197821685 -| mem: 673962}) \ No newline at end of file +({cpu: 197752685 +| mem: 673662}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/73f044f34a30f26639c58bafe952047f74c7bf1eafebab5aadf5b73cfb9024ed.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/73f044f34a30f26639c58bafe952047f74c7bf1eafebab5aadf5b73cfb9024ed.eval.golden index a30c9aec79d..b1e634439aa 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/73f044f34a30f26639c58bafe952047f74c7bf1eafebab5aadf5b73cfb9024ed.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/73f044f34a30f26639c58bafe952047f74c7bf1eafebab5aadf5b73cfb9024ed.eval.golden @@ -1,2 +1,2 @@ -({cpu: 196328108 -| mem: 668760}) \ No newline at end of file +({cpu: 196259108 +| mem: 668460}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/7b1dd76edc27f00eb382bf996378155baf74d6a7c6f3d5ec837c39d29784aade.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/7b1dd76edc27f00eb382bf996378155baf74d6a7c6f3d5ec837c39d29784aade.eval.golden index 016aa727481..0707770d712 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/7b1dd76edc27f00eb382bf996378155baf74d6a7c6f3d5ec837c39d29784aade.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/7b1dd76edc27f00eb382bf996378155baf74d6a7c6f3d5ec837c39d29784aade.eval.golden @@ -1,2 +1,2 @@ -({cpu: 197821685 -| mem: 673962}) \ No newline at end of file +({cpu: 197752685 +| mem: 673662}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/803eae94d62e2afc0e835c204af8362170301bc329e2d849d5f5a47dddf479ec.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/803eae94d62e2afc0e835c204af8362170301bc329e2d849d5f5a47dddf479ec.eval.golden index 08d26c3c803..56281c016e8 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/803eae94d62e2afc0e835c204af8362170301bc329e2d849d5f5a47dddf479ec.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/803eae94d62e2afc0e835c204af8362170301bc329e2d849d5f5a47dddf479ec.eval.golden @@ -1,2 +1,2 @@ -({cpu: 234696761 -| mem: 829842}) \ No newline at end of file +({cpu: 234627761 +| mem: 829542}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/87167fc5469adac97c1be749326fa79a6b7862ce68aa4abcb438e3c034bd0899.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/87167fc5469adac97c1be749326fa79a6b7862ce68aa4abcb438e3c034bd0899.eval.golden index 9c30c0e8b92..e2c141aec43 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/87167fc5469adac97c1be749326fa79a6b7862ce68aa4abcb438e3c034bd0899.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/87167fc5469adac97c1be749326fa79a6b7862ce68aa4abcb438e3c034bd0899.eval.golden @@ -1,2 +1,2 @@ -({cpu: 231809122 -| mem: 810296}) \ No newline at end of file +({cpu: 231740122 +| mem: 809996}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/8c0fa5d9d6724c5c72c67e055d4bfc36a385ded7c3c81c08cdbd8705829af6e6.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/8c0fa5d9d6724c5c72c67e055d4bfc36a385ded7c3c81c08cdbd8705829af6e6.eval.golden index 8a2b5cd500f..2915a3efaf6 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/8c0fa5d9d6724c5c72c67e055d4bfc36a385ded7c3c81c08cdbd8705829af6e6.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/8c0fa5d9d6724c5c72c67e055d4bfc36a385ded7c3c81c08cdbd8705829af6e6.eval.golden @@ -1,2 +1,2 @@ -({cpu: 243197868 -| mem: 862792}) \ No newline at end of file +({cpu: 243128868 +| mem: 862492}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/962c2c658b19904372984a56409707401e64e9b03c1986647134cfd329ec5139.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/962c2c658b19904372984a56409707401e64e9b03c1986647134cfd329ec5139.eval.golden index 24c0bd08b39..b49ed3e1145 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/962c2c658b19904372984a56409707401e64e9b03c1986647134cfd329ec5139.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/962c2c658b19904372984a56409707401e64e9b03c1986647134cfd329ec5139.eval.golden @@ -1,2 +1,2 @@ -({cpu: 215904782 -| mem: 751850}) \ No newline at end of file +({cpu: 215835782 +| mem: 751550}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/996804e90f2c75fe68886fc8511304b8ab9b36785f8858f5cb098e91c159dde9.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/996804e90f2c75fe68886fc8511304b8ab9b36785f8858f5cb098e91c159dde9.eval.golden index 6191a6d0d4f..ef6f55c876b 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/996804e90f2c75fe68886fc8511304b8ab9b36785f8858f5cb098e91c159dde9.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/996804e90f2c75fe68886fc8511304b8ab9b36785f8858f5cb098e91c159dde9.eval.golden @@ -1,2 +1,2 @@ -({cpu: 202455960 -| mem: 695586}) \ No newline at end of file +({cpu: 202386960 +| mem: 695286}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a004a989c005d59043f996500e110fa756ad1b85800b889d5815a0106388e1d7.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a004a989c005d59043f996500e110fa756ad1b85800b889d5815a0106388e1d7.eval.golden index 3e028ad3b74..2067583a117 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a004a989c005d59043f996500e110fa756ad1b85800b889d5815a0106388e1d7.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a004a989c005d59043f996500e110fa756ad1b85800b889d5815a0106388e1d7.eval.golden @@ -1,2 +1,2 @@ -({cpu: 218916647 -| mem: 757378}) \ No newline at end of file +({cpu: 218847647 +| mem: 757078}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a0fba5740174b5cd24036c8b008cb1efde73f1edae097b9325c6117a0ff40d3b.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a0fba5740174b5cd24036c8b008cb1efde73f1edae097b9325c6117a0ff40d3b.eval.golden index 9dcd9412391..4871de3fd9d 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a0fba5740174b5cd24036c8b008cb1efde73f1edae097b9325c6117a0ff40d3b.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a0fba5740174b5cd24036c8b008cb1efde73f1edae097b9325c6117a0ff40d3b.eval.golden @@ -1,2 +1,2 @@ -({cpu: 223662727 -| mem: 772690}) \ No newline at end of file +({cpu: 223593727 +| mem: 772390}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a1b25347409c3993feca1a60b6fcaf93d1d4bbaae19ab06fdf50cedc26cee68d.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a1b25347409c3993feca1a60b6fcaf93d1d4bbaae19ab06fdf50cedc26cee68d.eval.golden index e307c8efce8..2e2145c1b7b 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a1b25347409c3993feca1a60b6fcaf93d1d4bbaae19ab06fdf50cedc26cee68d.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a1b25347409c3993feca1a60b6fcaf93d1d4bbaae19ab06fdf50cedc26cee68d.eval.golden @@ -1,2 +1,2 @@ -({cpu: 192319770 -| mem: 660512}) \ No newline at end of file +({cpu: 192250770 +| mem: 660212}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a27524cfad019df45e4e8316f927346d4cc39da6bdd294fb2c33c3f58e6a8994.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a27524cfad019df45e4e8316f927346d4cc39da6bdd294fb2c33c3f58e6a8994.eval.golden index a30c9aec79d..b1e634439aa 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a27524cfad019df45e4e8316f927346d4cc39da6bdd294fb2c33c3f58e6a8994.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a27524cfad019df45e4e8316f927346d4cc39da6bdd294fb2c33c3f58e6a8994.eval.golden @@ -1,2 +1,2 @@ -({cpu: 196328108 -| mem: 668760}) \ No newline at end of file +({cpu: 196259108 +| mem: 668460}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a6664a2d2a82f370a34a36a45234f6b33120a39372331678a3b3690312560ce9.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a6664a2d2a82f370a34a36a45234f6b33120a39372331678a3b3690312560ce9.eval.golden index 08bc306ffa0..905cad4d265 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a6664a2d2a82f370a34a36a45234f6b33120a39372331678a3b3690312560ce9.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a6664a2d2a82f370a34a36a45234f6b33120a39372331678a3b3690312560ce9.eval.golden @@ -1,2 +1,2 @@ -({cpu: 245405868 -| mem: 872392}) \ No newline at end of file +({cpu: 245336868 +| mem: 872092}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a6f064b83b31032ea7f25921364727224707268e472a569f584cc6b1d8c017e8.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a6f064b83b31032ea7f25921364727224707268e472a569f584cc6b1d8c017e8.eval.golden index 016aa727481..0707770d712 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a6f064b83b31032ea7f25921364727224707268e472a569f584cc6b1d8c017e8.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a6f064b83b31032ea7f25921364727224707268e472a569f584cc6b1d8c017e8.eval.golden @@ -1,2 +1,2 @@ -({cpu: 197821685 -| mem: 673962}) \ No newline at end of file +({cpu: 197752685 +| mem: 673662}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a7cb09f417c3f089619fe25b7624392026382b458486129efcff18f8912bf302.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a7cb09f417c3f089619fe25b7624392026382b458486129efcff18f8912bf302.eval.golden index a30c9aec79d..b1e634439aa 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a7cb09f417c3f089619fe25b7624392026382b458486129efcff18f8912bf302.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a7cb09f417c3f089619fe25b7624392026382b458486129efcff18f8912bf302.eval.golden @@ -1,2 +1,2 @@ -({cpu: 196328108 -| mem: 668760}) \ No newline at end of file +({cpu: 196259108 +| mem: 668460}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a92b4072cb8601fa697e1150c08463b14ffced54eb963df08d322216e27373cb.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a92b4072cb8601fa697e1150c08463b14ffced54eb963df08d322216e27373cb.eval.golden index 016aa727481..0707770d712 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a92b4072cb8601fa697e1150c08463b14ffced54eb963df08d322216e27373cb.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a92b4072cb8601fa697e1150c08463b14ffced54eb963df08d322216e27373cb.eval.golden @@ -1,2 +1,2 @@ -({cpu: 197821685 -| mem: 673962}) \ No newline at end of file +({cpu: 197752685 +| mem: 673662}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/af2e072b5adfaa7211e0b341e1f7319c4f4e7364a4247c9247132a927e914753.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/af2e072b5adfaa7211e0b341e1f7319c4f4e7364a4247c9247132a927e914753.eval.golden index d0d2fef80d1..348a4fbd09b 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/af2e072b5adfaa7211e0b341e1f7319c4f4e7364a4247c9247132a927e914753.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/af2e072b5adfaa7211e0b341e1f7319c4f4e7364a4247c9247132a927e914753.eval.golden @@ -1,2 +1,2 @@ -({cpu: 232559307 -| mem: 806598}) \ No newline at end of file +({cpu: 232490307 +| mem: 806298}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/b43564af5f13cc5208b92b1ad6d45369446f378d3891e5cb3e353b30d4f3fb10.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/b43564af5f13cc5208b92b1ad6d45369446f378d3891e5cb3e353b30d4f3fb10.eval.golden index 016aa727481..0707770d712 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/b43564af5f13cc5208b92b1ad6d45369446f378d3891e5cb3e353b30d4f3fb10.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/b43564af5f13cc5208b92b1ad6d45369446f378d3891e5cb3e353b30d4f3fb10.eval.golden @@ -1,2 +1,2 @@ -({cpu: 197821685 -| mem: 673962}) \ No newline at end of file +({cpu: 197752685 +| mem: 673662}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/b6243a5b4c353ce4852aa41705111d57867d2783eeef76f6d59beb2360da6e90.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/b6243a5b4c353ce4852aa41705111d57867d2783eeef76f6d59beb2360da6e90.eval.golden index a3378385138..30264fff494 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/b6243a5b4c353ce4852aa41705111d57867d2783eeef76f6d59beb2360da6e90.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/b6243a5b4c353ce4852aa41705111d57867d2783eeef76f6d59beb2360da6e90.eval.golden @@ -1,2 +1,2 @@ -({cpu: 267307346 -| mem: 935364}) \ No newline at end of file +({cpu: 267238346 +| mem: 935064}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/b869f3928200061abb1c3060425b9354b0e08cbf4400b340b8707c14b34317cd.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/b869f3928200061abb1c3060425b9354b0e08cbf4400b340b8707c14b34317cd.eval.golden index 7d41ecd9215..fb0e10f632a 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/b869f3928200061abb1c3060425b9354b0e08cbf4400b340b8707c14b34317cd.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/b869f3928200061abb1c3060425b9354b0e08cbf4400b340b8707c14b34317cd.eval.golden @@ -1,2 +1,2 @@ -({cpu: 298824488 -| mem: 1070278}) \ No newline at end of file +({cpu: 298755488 +| mem: 1069978}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/bcdbc576d63b0454100ad06893812edafc2e7e4934fec1b44e2d06eb34f36eb8.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/bcdbc576d63b0454100ad06893812edafc2e7e4934fec1b44e2d06eb34f36eb8.eval.golden index 016aa727481..0707770d712 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/bcdbc576d63b0454100ad06893812edafc2e7e4934fec1b44e2d06eb34f36eb8.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/bcdbc576d63b0454100ad06893812edafc2e7e4934fec1b44e2d06eb34f36eb8.eval.golden @@ -1,2 +1,2 @@ -({cpu: 197821685 -| mem: 673962}) \ No newline at end of file +({cpu: 197752685 +| mem: 673662}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/bd460b7549b70c52e37b312a4242041eac18fe4a266f018bcea0c78a9085a271.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/bd460b7549b70c52e37b312a4242041eac18fe4a266f018bcea0c78a9085a271.eval.golden index ef00b661876..570a3726152 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/bd460b7549b70c52e37b312a4242041eac18fe4a266f018bcea0c78a9085a271.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/bd460b7549b70c52e37b312a4242041eac18fe4a266f018bcea0c78a9085a271.eval.golden @@ -1,2 +1,2 @@ -({cpu: 224966187 -| mem: 785346}) \ No newline at end of file +({cpu: 224897187 +| mem: 785046}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/bd79f4a84db23b7c4cd219d498bd581e085cbc3437957e74a8862281a700700b.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/bd79f4a84db23b7c4cd219d498bd581e085cbc3437957e74a8862281a700700b.eval.golden index c4c3f9d3e82..50d135a4420 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/bd79f4a84db23b7c4cd219d498bd581e085cbc3437957e74a8862281a700700b.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/bd79f4a84db23b7c4cd219d498bd581e085cbc3437957e74a8862281a700700b.eval.golden @@ -1,2 +1,2 @@ -({cpu: 229625754 -| mem: 799928}) \ No newline at end of file +({cpu: 229556754 +| mem: 799628}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/c11490431db3a92efdda70933ba411a0423935e73a75c856e326dbcf6672f3bf.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/c11490431db3a92efdda70933ba411a0423935e73a75c856e326dbcf6672f3bf.eval.golden index b13c109aebf..cb85afffc94 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/c11490431db3a92efdda70933ba411a0423935e73a75c856e326dbcf6672f3bf.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/c11490431db3a92efdda70933ba411a0423935e73a75c856e326dbcf6672f3bf.eval.golden @@ -1,2 +1,2 @@ -({cpu: 198410174 -| mem: 675264}) \ No newline at end of file +({cpu: 198341174 +| mem: 674964}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/c4d4c88c5fe378a25a034025994a0d0b1642f10c8e6e513f872327fa895bfc7e.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/c4d4c88c5fe378a25a034025994a0d0b1642f10c8e6e513f872327fa895bfc7e.eval.golden index 5d15e14635e..e1d11334617 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/c4d4c88c5fe378a25a034025994a0d0b1642f10c8e6e513f872327fa895bfc7e.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/c4d4c88c5fe378a25a034025994a0d0b1642f10c8e6e513f872327fa895bfc7e.eval.golden @@ -1,2 +1,2 @@ -({cpu: 212108222 -| mem: 741224}) \ No newline at end of file +({cpu: 212039222 +| mem: 740924}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/c78eeba7681d2ab51b4758efa4c812cc041928837c6e7563d8283cce67ce2e02.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/c78eeba7681d2ab51b4758efa4c812cc041928837c6e7563d8283cce67ce2e02.eval.golden index e4626b863be..268ad081343 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/c78eeba7681d2ab51b4758efa4c812cc041928837c6e7563d8283cce67ce2e02.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/c78eeba7681d2ab51b4758efa4c812cc041928837c6e7563d8283cce67ce2e02.eval.golden @@ -1,2 +1,2 @@ -({cpu: 214978532 -| mem: 742658}) \ No newline at end of file +({cpu: 214909532 +| mem: 742358}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/c99ecc2146ce2066ba6dffc734923264f8794815acbc2ec74c2c2c42ba272e4d.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/c99ecc2146ce2066ba6dffc734923264f8794815acbc2ec74c2c2c42ba272e4d.eval.golden index 0d6436dc6e4..b0319fab2f9 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/c99ecc2146ce2066ba6dffc734923264f8794815acbc2ec74c2c2c42ba272e4d.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/c99ecc2146ce2066ba6dffc734923264f8794815acbc2ec74c2c2c42ba272e4d.eval.golden @@ -1,2 +1,2 @@ -({cpu: 250971633 -| mem: 889420}) \ No newline at end of file +({cpu: 250902633 +| mem: 889120}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/caa409c40e39aed9b0f59214b4baa178c375526dea6026b4552b88d2cc729716.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/caa409c40e39aed9b0f59214b4baa178c375526dea6026b4552b88d2cc729716.eval.golden index 3ca65a9a187..a69e6bbbab8 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/caa409c40e39aed9b0f59214b4baa178c375526dea6026b4552b88d2cc729716.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/caa409c40e39aed9b0f59214b4baa178c375526dea6026b4552b88d2cc729716.eval.golden @@ -1,2 +1,2 @@ -({cpu: 195543413 -| mem: 663662}) \ No newline at end of file +({cpu: 195474413 +| mem: 663362}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/cb2ab8e22d1f64e8d204dece092e90e9bf1fa8b2a6e9cba5012dbe4978065832.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/cb2ab8e22d1f64e8d204dece092e90e9bf1fa8b2a6e9cba5012dbe4978065832.eval.golden index b13c109aebf..cb85afffc94 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/cb2ab8e22d1f64e8d204dece092e90e9bf1fa8b2a6e9cba5012dbe4978065832.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/cb2ab8e22d1f64e8d204dece092e90e9bf1fa8b2a6e9cba5012dbe4978065832.eval.golden @@ -1,2 +1,2 @@ -({cpu: 198410174 -| mem: 675264}) \ No newline at end of file +({cpu: 198341174 +| mem: 674964}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/cc1e82927f6c65b3e912200ae30588793d2066e1d4a6627c21955944ac9bd528.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/cc1e82927f6c65b3e912200ae30588793d2066e1d4a6627c21955944ac9bd528.eval.golden index 711318c18d0..51846e872cd 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/cc1e82927f6c65b3e912200ae30588793d2066e1d4a6627c21955944ac9bd528.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/cc1e82927f6c65b3e912200ae30588793d2066e1d4a6627c21955944ac9bd528.eval.golden @@ -1,2 +1,2 @@ -({cpu: 226315278 -| mem: 779080}) \ No newline at end of file +({cpu: 226246278 +| mem: 778780}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/d5cda74eb0947e025e02fb8ed365df39d0a43e4b42cd3573ac2d8fcb29115997.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/d5cda74eb0947e025e02fb8ed365df39d0a43e4b42cd3573ac2d8fcb29115997.eval.golden index 898c89de1ea..78b30851401 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/d5cda74eb0947e025e02fb8ed365df39d0a43e4b42cd3573ac2d8fcb29115997.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/d5cda74eb0947e025e02fb8ed365df39d0a43e4b42cd3573ac2d8fcb29115997.eval.golden @@ -1,2 +1,2 @@ -({cpu: 227025482 -| mem: 788228}) \ No newline at end of file +({cpu: 226956482 +| mem: 787928}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/d6bc8ac4155e22300085784148bbc9d9bbfea896e1009dd396610a90e3943032.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/d6bc8ac4155e22300085784148bbc9d9bbfea896e1009dd396610a90e3943032.eval.golden index ef00b661876..570a3726152 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/d6bc8ac4155e22300085784148bbc9d9bbfea896e1009dd396610a90e3943032.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/d6bc8ac4155e22300085784148bbc9d9bbfea896e1009dd396610a90e3943032.eval.golden @@ -1,2 +1,2 @@ -({cpu: 224966187 -| mem: 785346}) \ No newline at end of file +({cpu: 224897187 +| mem: 785046}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/da353bf9219801fa1bf703fc161497570954e9af7e10ffe95c911a9ef97e77bd.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/da353bf9219801fa1bf703fc161497570954e9af7e10ffe95c911a9ef97e77bd.eval.golden index baf09a5ed00..36bdeed7c44 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/da353bf9219801fa1bf703fc161497570954e9af7e10ffe95c911a9ef97e77bd.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/da353bf9219801fa1bf703fc161497570954e9af7e10ffe95c911a9ef97e77bd.eval.golden @@ -1,2 +1,2 @@ -({cpu: 207559321 -| mem: 716070}) \ No newline at end of file +({cpu: 207490321 +| mem: 715770}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/dc45c5f1b700b1334db99f50823321daaef0e6925b9b2fabbc9df7cde65af62e.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/dc45c5f1b700b1334db99f50823321daaef0e6925b9b2fabbc9df7cde65af62e.eval.golden index 0707bbdd0db..bdf21cf529b 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/dc45c5f1b700b1334db99f50823321daaef0e6925b9b2fabbc9df7cde65af62e.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/dc45c5f1b700b1334db99f50823321daaef0e6925b9b2fabbc9df7cde65af62e.eval.golden @@ -1,2 +1,2 @@ -({cpu: 204664620 -| mem: 698912}) \ No newline at end of file +({cpu: 204595620 +| mem: 698612}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/df487b2fd5c1583fa33644423849bc1ab5f02f37edc0c235f34ef01cb12604f6.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/df487b2fd5c1583fa33644423849bc1ab5f02f37edc0c235f34ef01cb12604f6.eval.golden index afc80da9b2c..d3b4d3f56af 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/df487b2fd5c1583fa33644423849bc1ab5f02f37edc0c235f34ef01cb12604f6.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/df487b2fd5c1583fa33644423849bc1ab5f02f37edc0c235f34ef01cb12604f6.eval.golden @@ -1,2 +1,2 @@ -({cpu: 205253109 -| mem: 700214}) \ No newline at end of file +({cpu: 205184109 +| mem: 699914}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/eabeeae18131af89fa57936c0e9eb8d2c7adba534f7e1a517d75410028fa0d6c.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/eabeeae18131af89fa57936c0e9eb8d2c7adba534f7e1a517d75410028fa0d6c.eval.golden index 016aa727481..0707770d712 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/eabeeae18131af89fa57936c0e9eb8d2c7adba534f7e1a517d75410028fa0d6c.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/eabeeae18131af89fa57936c0e9eb8d2c7adba534f7e1a517d75410028fa0d6c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 197821685 -| mem: 673962}) \ No newline at end of file +({cpu: 197752685 +| mem: 673662}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/ec4712ee820eb959a43ebedfab6735f2325fa52994747526ffd2a4f4f84dd58e.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/ec4712ee820eb959a43ebedfab6735f2325fa52994747526ffd2a4f4f84dd58e.eval.golden index 4ae479fdbdb..1386872abd8 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/ec4712ee820eb959a43ebedfab6735f2325fa52994747526ffd2a4f4f84dd58e.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/ec4712ee820eb959a43ebedfab6735f2325fa52994747526ffd2a4f4f84dd58e.eval.golden @@ -1,2 +1,2 @@ -({cpu: 226101344 -| mem: 781116}) \ No newline at end of file +({cpu: 226032344 +| mem: 780816}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/ee3962fbd7373360f46decef3c9bda536a0b1daf6cda3b8a4bcfd6deeb5b4c53.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/ee3962fbd7373360f46decef3c9bda536a0b1daf6cda3b8a4bcfd6deeb5b4c53.eval.golden index c4c3f9d3e82..50d135a4420 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/ee3962fbd7373360f46decef3c9bda536a0b1daf6cda3b8a4bcfd6deeb5b4c53.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/ee3962fbd7373360f46decef3c9bda536a0b1daf6cda3b8a4bcfd6deeb5b4c53.eval.golden @@ -1,2 +1,2 @@ -({cpu: 229625754 -| mem: 799928}) \ No newline at end of file +({cpu: 229556754 +| mem: 799628}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/f1a1e6a487f91feca5606f72bbb1e948c71abf043c6a0ea83bfea9ec6a0f08d8.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/f1a1e6a487f91feca5606f72bbb1e948c71abf043c6a0ea83bfea9ec6a0f08d8.eval.golden index a30c9aec79d..b1e634439aa 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/f1a1e6a487f91feca5606f72bbb1e948c71abf043c6a0ea83bfea9ec6a0f08d8.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/f1a1e6a487f91feca5606f72bbb1e948c71abf043c6a0ea83bfea9ec6a0f08d8.eval.golden @@ -1,2 +1,2 @@ -({cpu: 196328108 -| mem: 668760}) \ No newline at end of file +({cpu: 196259108 +| mem: 668460}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/f2932e4ca4bbb94b0a9ffbe95fcb7bd5639d9751d75d56d5e14efa5bbed981df.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/f2932e4ca4bbb94b0a9ffbe95fcb7bd5639d9751d75d56d5e14efa5bbed981df.eval.golden index 046ce65577f..7445d8aad18 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/f2932e4ca4bbb94b0a9ffbe95fcb7bd5639d9751d75d56d5e14efa5bbed981df.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/f2932e4ca4bbb94b0a9ffbe95fcb7bd5639d9751d75d56d5e14efa5bbed981df.eval.golden @@ -1,2 +1,2 @@ -({cpu: 194025125 -| mem: 663336}) \ No newline at end of file +({cpu: 193956125 +| mem: 663036}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/f53e8cafe26647ccce51e4c31db13608aea1f39034c0f52dee2e5634ef66e747.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/f53e8cafe26647ccce51e4c31db13608aea1f39034c0f52dee2e5634ef66e747.eval.golden index 8f470f5e669..5f1e6300bb8 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/f53e8cafe26647ccce51e4c31db13608aea1f39034c0f52dee2e5634ef66e747.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/f53e8cafe26647ccce51e4c31db13608aea1f39034c0f52dee2e5634ef66e747.eval.golden @@ -1,2 +1,2 @@ -({cpu: 218775092 -| mem: 753284}) \ No newline at end of file +({cpu: 218706092 +| mem: 752984}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/f7275afb60e33a550df13a132102e7e925dd28965a4efbe510a89b077ff9417f.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/f7275afb60e33a550df13a132102e7e925dd28965a4efbe510a89b077ff9417f.eval.golden index 016aa727481..0707770d712 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/f7275afb60e33a550df13a132102e7e925dd28965a4efbe510a89b077ff9417f.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/f7275afb60e33a550df13a132102e7e925dd28965a4efbe510a89b077ff9417f.eval.golden @@ -1,2 +1,2 @@ -({cpu: 197821685 -| mem: 673962}) \ No newline at end of file +({cpu: 197752685 +| mem: 673662}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/fc8c5f45ffcdb024c21e0f34b22c23de8045a94d5e1a5bda1555c45ddb059f82.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/fc8c5f45ffcdb024c21e0f34b22c23de8045a94d5e1a5bda1555c45ddb059f82.eval.golden index 928617f8c0c..6475e127613 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/fc8c5f45ffcdb024c21e0f34b22c23de8045a94d5e1a5bda1555c45ddb059f82.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/fc8c5f45ffcdb024c21e0f34b22c23de8045a94d5e1a5bda1555c45ddb059f82.eval.golden @@ -1,2 +1,2 @@ -({cpu: 206252520 -| mem: 706212}) \ No newline at end of file +({cpu: 206183520 +| mem: 705912}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/ff38b1ec89952d0247630f107a90cbbeb92ecbfcd19b284f60255718e4ec7548.eval.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/ff38b1ec89952d0247630f107a90cbbeb92ecbfcd19b284f60255718e4ec7548.eval.golden index 3f1f17655f1..65721b98c11 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/ff38b1ec89952d0247630f107a90cbbeb92ecbfcd19b284f60255718e4ec7548.eval.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/ff38b1ec89952d0247630f107a90cbbeb92ecbfcd19b284f60255718e4ec7548.eval.golden @@ -1,2 +1,2 @@ -({cpu: 243134948 -| mem: 850384}) \ No newline at end of file +({cpu: 243065948 +| mem: 850084}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/role-payout.size.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/role-payout.size.golden index 2c028237fd8..94c197e9b96 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/role-payout.size.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/role-payout.size.golden @@ -1 +1 @@ -2741 \ No newline at end of file +2738 \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0000020002010200020101020201000100010001020101020201010000020102.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0000020002010200020101020201000100010001020101020201010000020102.eval.golden index e5348c52ae1..b4cd0f7c8ce 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0000020002010200020101020201000100010001020101020201010000020102.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0000020002010200020101020201000100010001020101020201010000020102.eval.golden @@ -1,2 +1,2 @@ -({cpu: 380649073 -| mem: 1362575}) \ No newline at end of file +({cpu: 379405206 +| mem: 1358159}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0001000101000000010101000001000001010101010100000001000001010000.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0001000101000000010101000001000001010101010100000001000001010000.eval.golden index ef9b320c6b8..9b503aab784 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0001000101000000010101000001000001010101010100000001000001010000.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0001000101000000010101000001000001010101010100000001000001010000.eval.golden @@ -1,2 +1,2 @@ -({cpu: 519978055 -| mem: 1821088}) \ No newline at end of file +({cpu: 519309134 +| mem: 1818564}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0003040402030103010203030303000200000104030002040304020400000102.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0003040402030103010203030303000200000104030002040304020400000102.eval.golden index 6b54725145b..e6717e92f9f 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0003040402030103010203030303000200000104030002040304020400000102.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0003040402030103010203030303000200000104030002040304020400000102.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1287822389 -| mem: 4797386}) \ No newline at end of file +({cpu: 1286161068 +| mem: 4791382}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.eval.golden index aadb85d6ee3..9ffee6fc31f 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.eval.golden @@ -1,2 +1,2 @@ -({cpu: 938538384 -| mem: 3318309}) \ No newline at end of file +({cpu: 936945621 +| mem: 3312537}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0101010001010101010101000100010100000001010000010001000001000101.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0101010001010101010101000100010100000001010000010001000001000101.eval.golden index 7eaa0f38708..a81cc612b73 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0101010001010101010101000100010100000001010000010001000001000101.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0101010001010101010101000100010100000001010000010001000001000101.eval.golden @@ -1,2 +1,2 @@ -({cpu: 821932243 -| mem: 2388770}) \ No newline at end of file +({cpu: 820545154 +| mem: 2383694}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0101020201010201010200010102000201000201010102000102010201010000.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0101020201010201010200010102000201000201010102000102010201010000.eval.golden index 23d7e0d3cf3..40a357a8a89 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0101020201010201010200010102000201000201010102000102010201010000.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0101020201010201010200010102000201000201010102000102010201010000.eval.golden @@ -1,2 +1,2 @@ -({cpu: 355703724 -| mem: 1285033}) \ No newline at end of file +({cpu: 354459857 +| mem: 1280617}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0101080808040600020306010000000302050807010208060100070207080202.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0101080808040600020306010000000302050807010208060100070207080202.eval.golden index 7a40c8b3014..d344409a60a 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0101080808040600020306010000000302050807010208060100070207080202.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0101080808040600020306010000000302050807010208060100070207080202.eval.golden @@ -1,2 +1,2 @@ -({cpu: 963701230 -| mem: 3508428}) \ No newline at end of file +({cpu: 962433272 +| mem: 3503816}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0104010200020000040103020102020004040300030304040400010301040303.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0104010200020000040103020102020004040300030304040400010301040303.eval.golden index e0af4ef0298..f23ff18ccd5 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0104010200020000040103020102020004040300030304040400010301040303.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0104010200020000040103020102020004040300030304040400010301040303.eval.golden @@ -1,2 +1,2 @@ -({cpu: 873661939 -| mem: 3135281}) \ No newline at end of file +({cpu: 870969857 +| mem: 3125957}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.eval.golden index 4776c1d29cb..1d73732ef76 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.eval.golden @@ -1,2 +1,2 @@ -({cpu: 880121899 -| mem: 3149631}) \ No newline at end of file +({cpu: 878597694 +| mem: 3144091}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.eval.golden index 9e0c86f942d..c2041a68b0d 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1273704981 -| mem: 4358113}) \ No newline at end of file +({cpu: 1270139630 +| mem: 4345773}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0705030002040601010206030604080208020207000101060706050502040301.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0705030002040601010206030604080208020207000101060706050502040301.eval.golden index 98a84eb6160..f9925f3ac83 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0705030002040601010206030604080208020207000101060706050502040301.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0705030002040601010206030604080208020207000101060706050502040301.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1413845462 -| mem: 4721874}) \ No newline at end of file +({cpu: 1410282502 +| mem: 4709374}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.eval.golden index 49878677bec..69e2682b1d2 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1149814881 -| mem: 4088327}) \ No newline at end of file +({cpu: 1147116693 +| mem: 4078807}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.eval.golden index ad01300d6d4..e997e064e15 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1284089899 -| mem: 4558999}) \ No newline at end of file +({cpu: 1280730222 +| mem: 4547355}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.eval.golden index 9c4899bb2f3..f6981b06f2b 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1675227064 -| mem: 6033056}) \ No newline at end of file +({cpu: 1672299111 +| mem: 6022644}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.eval.golden index 275d608f760..fb00e68435d 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 547185391 -| mem: 1972559}) \ No newline at end of file +({cpu: 545160904 +| mem: 1965555}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.eval.golden index add32a3f111..0d1e2793b79 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.eval.golden @@ -1,2 +1,2 @@ -({cpu: 903671184 -| mem: 3242027}) \ No newline at end of file +({cpu: 902078421 +| mem: 3236255}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.eval.golden index ef3ff8c307f..4004fe0b958 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.eval.golden @@ -1,2 +1,2 @@ -({cpu: 591361557 -| mem: 2148915}) \ No newline at end of file +({cpu: 589405628 +| mem: 2142143}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.eval.golden index 4345d4052ab..845c1bf8081 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.eval.golden @@ -1,2 +1,2 @@ -({cpu: 855483023 -| mem: 3058193}) \ No newline at end of file +({cpu: 853383872 +| mem: 3050761}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.eval.golden index 8cee4b6ab20..78a7644429a 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.eval.golden @@ -1,2 +1,2 @@ -({cpu: 358323609 -| mem: 1290535}) \ No newline at end of file +({cpu: 357079742 +| mem: 1286119}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.eval.golden index 0e1bd3510e4..dacd3aab627 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1129387999 -| mem: 4111758}) \ No newline at end of file +({cpu: 1128051483 +| mem: 4106914}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.eval.golden index 99d0fce81ed..0e4521c515d 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.eval.golden @@ -1,2 +1,2 @@ -({cpu: 895028709 -| mem: 3146077}) \ No newline at end of file +({cpu: 893504504 +| mem: 3140537}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.eval.golden index 4bd353b8b02..098064e50a3 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.eval.golden @@ -1,2 +1,2 @@ -({cpu: 358348781 -| mem: 1290535}) \ No newline at end of file +({cpu: 357104914 +| mem: 1286119}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.eval.golden index d7e1ce00821..69a011396df 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.eval.golden @@ -1,2 +1,2 @@ -({cpu: 685726087 -| mem: 1321998}) \ No newline at end of file +({cpu: 685057166 +| mem: 1319474}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.eval.golden index 8a9c2b6e0cf..cdae1fec437 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.eval.golden @@ -1,2 +1,2 @@ -({cpu: 2101319886 -| mem: 1704778}) \ No newline at end of file +({cpu: 2100138471 +| mem: 1700398}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.eval.golden index 3488f5d477c..708739029ec 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.eval.golden @@ -1,2 +1,2 @@ -({cpu: 451577627 -| mem: 1664532}) \ No newline at end of file +({cpu: 450977264 +| mem: 1662240}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.eval.golden index 23d7e0d3cf3..40a357a8a89 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.eval.golden @@ -1,2 +1,2 @@ -({cpu: 355703724 -| mem: 1285033}) \ No newline at end of file +({cpu: 354459857 +| mem: 1280617}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.eval.golden index 0a079c2f3f8..da88d00e44b 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.eval.golden @@ -1,2 +1,2 @@ -({cpu: 686513033 -| mem: 2539880}) \ No newline at end of file +({cpu: 685519307 +| mem: 2536196}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.eval.golden index 404828c19c7..debcd810ca3 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1126510862 -| mem: 1710098}) \ No newline at end of file +({cpu: 1125329447 +| mem: 1705718}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.eval.golden index 6a2e8f166fe..f64bd43f8d3 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 995915680 -| mem: 3240224}) \ No newline at end of file +({cpu: 993381090 +| mem: 3231204}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.eval.golden index ec4bfdd6c75..7e69a183e3e 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.eval.golden @@ -1,2 +1,2 @@ -({cpu: 885717679 -| mem: 3177647}) \ No newline at end of file +({cpu: 883025597 +| mem: 3168323}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.eval.golden index 581b152f1ad..051aa4fa2b0 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.eval.golden @@ -1,2 +1,2 @@ -({cpu: 915740490 -| mem: 3293538}) \ No newline at end of file +({cpu: 914472532 +| mem: 3288926}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.eval.golden index ec674a4add3..32c303ba69b 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1425599110 -| mem: 5255536}) \ No newline at end of file +({cpu: 1423544426 +| mem: 5248140}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.eval.golden index 8cee4b6ab20..78a7644429a 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.eval.golden @@ -1,2 +1,2 @@ -({cpu: 358323609 -| mem: 1290535}) \ No newline at end of file +({cpu: 357079742 +| mem: 1286119}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.eval.golden index 914cccde383..e700165f780 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.eval.golden @@ -1,2 +1,2 @@ -({cpu: 550774131 -| mem: 2002315}) \ No newline at end of file +({cpu: 548818202 +| mem: 1995543}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.eval.golden index c4cd838e7ba..26642883a39 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.eval.golden @@ -1,2 +1,2 @@ -({cpu: 767665998 -| mem: 2842112}) \ No newline at end of file +({cpu: 766535156 +| mem: 2837964}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.eval.golden index 434f907415b..f5c476f0c0d 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.eval.golden @@ -1,2 +1,2 @@ -({cpu: 918478797 -| mem: 3323814}) \ No newline at end of file +({cpu: 916954592 +| mem: 3318274}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.eval.golden index 23d7e0d3cf3..40a357a8a89 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.eval.golden @@ -1,2 +1,2 @@ -({cpu: 355703724 -| mem: 1285033}) \ No newline at end of file +({cpu: 354459857 +| mem: 1280617}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.eval.golden index f57bf9b0c95..868e8a53caa 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 978620139 -| mem: 3469170}) \ No newline at end of file +({cpu: 976890260 +| mem: 3462934}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.eval.golden index 23d7e0d3cf3..40a357a8a89 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.eval.golden @@ -1,2 +1,2 @@ -({cpu: 355703724 -| mem: 1285033}) \ No newline at end of file +({cpu: 354459857 +| mem: 1280617}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.eval.golden index 76a757f80ed..cfc7bfc4907 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1151229252 -| mem: 4124321}) \ No newline at end of file +({cpu: 1148212365 +| mem: 4113837}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.eval.golden index 19a1589074d..5115073a924 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.eval.golden @@ -1,2 +1,2 @@ -({cpu: 789571238 -| mem: 2846393}) \ No newline at end of file +({cpu: 787084830 +| mem: 2837765}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.eval.golden index 989f29e19bf..d34d6e38b76 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.eval.golden @@ -1,2 +1,2 @@ -({cpu: 476706264 -| mem: 1694868}) \ No newline at end of file +({cpu: 476037343 +| mem: 1692344}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.eval.golden index 4d598250510..cf0e720dbf1 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 436054837 -| mem: 1550625}) \ No newline at end of file +({cpu: 434536738 +| mem: 1545281}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.eval.golden index f16fa2a02e2..71abd328bcf 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.eval.golden @@ -1,2 +1,2 @@ -({cpu: 447330533 -| mem: 1585417}) \ No newline at end of file +({cpu: 445675318 +| mem: 1579609}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.eval.golden index 23d7e0d3cf3..40a357a8a89 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.eval.golden @@ -1,2 +1,2 @@ -({cpu: 355703724 -| mem: 1285033}) \ No newline at end of file +({cpu: 354459857 +| mem: 1280617}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.eval.golden index 8dab4737329..d1f5cfcd594 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.eval.golden @@ -1,2 +1,2 @@ -({cpu: 979539875 -| mem: 3638816}) \ No newline at end of file +({cpu: 978340475 +| mem: 3634436}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.eval.golden index 23d7e0d3cf3..40a357a8a89 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.eval.golden @@ -1,2 +1,2 @@ -({cpu: 355703724 -| mem: 1285033}) \ No newline at end of file +({cpu: 354459857 +| mem: 1280617}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.eval.golden index e69375c62a8..eb9e13d3e95 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.eval.golden @@ -1,2 +1,2 @@ -({cpu: 562187659 -| mem: 2025943}) \ No newline at end of file +({cpu: 560163172 +| mem: 2018939}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.eval.golden index d478ff2afab..55cab6f50c0 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1233601424 -| mem: 4311985}) \ No newline at end of file +({cpu: 1230447421 +| mem: 4301037}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.eval.golden index 665da6707d6..1eb087be287 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1097008039 -| mem: 3825127}) \ No newline at end of file +({cpu: 1093967061 +| mem: 3814447}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.eval.golden index a74a065ee5d..fcd8a7bc6e2 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.eval.golden @@ -1,2 +1,2 @@ -({cpu: 598535384 -| mem: 2131617}) \ No newline at end of file +({cpu: 596829596 +| mem: 2125577}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.eval.golden index 8cee4b6ab20..78a7644429a 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.eval.golden @@ -1,2 +1,2 @@ -({cpu: 358323609 -| mem: 1290535}) \ No newline at end of file +({cpu: 357079742 +| mem: 1286119}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.eval.golden index 420e82143a3..3b602556feb 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.eval.golden @@ -1,2 +1,2 @@ -({cpu: 928411134 -| mem: 3394594}) \ No newline at end of file +({cpu: 926886929 +| mem: 3389054}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.eval.golden index b5e78cfb762..9cf18de4ec0 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.eval.golden @@ -1,2 +1,2 @@ -({cpu: 564522181 -| mem: 2034135}) \ No newline at end of file +({cpu: 562497694 +| mem: 2027131}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.eval.golden index cc50ecaf128..2b61c02fc6f 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.eval.golden @@ -1,2 +1,2 @@ -({cpu: 821800010 -| mem: 3023622}) \ No newline at end of file +({cpu: 820669168 +| mem: 3019474}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.eval.golden index 137ba2d57db..ea3dab51765 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1339663748 -| mem: 1875932}) \ No newline at end of file +({cpu: 1338276659 +| mem: 1870856}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.eval.golden index af81bf4505c..1221ca92d86 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1677729405 -| mem: 5561556}) \ No newline at end of file +({cpu: 1673755097 +| mem: 5547664}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/675d63836cad11b547d1b4cddd498f04c919d4342612accf40913f9ae9419fac.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/675d63836cad11b547d1b4cddd498f04c919d4342612accf40913f9ae9419fac.eval.golden index 587128fd973..ddded8b2dde 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/675d63836cad11b547d1b4cddd498f04c919d4342612accf40913f9ae9419fac.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/675d63836cad11b547d1b4cddd498f04c919d4342612accf40913f9ae9419fac.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1169775329 -| mem: 4172883}) \ No newline at end of file +({cpu: 1166758442 +| mem: 4162399}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/67ba5a9a0245ee3aff4f34852b9889b8c810fccd3dce2a23910bddd35c503b71.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/67ba5a9a0245ee3aff4f34852b9889b8c810fccd3dce2a23910bddd35c503b71.eval.golden index 8a9c2b6e0cf..cdae1fec437 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/67ba5a9a0245ee3aff4f34852b9889b8c810fccd3dce2a23910bddd35c503b71.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/67ba5a9a0245ee3aff4f34852b9889b8c810fccd3dce2a23910bddd35c503b71.eval.golden @@ -1,2 +1,2 @@ -({cpu: 2101319886 -| mem: 1704778}) \ No newline at end of file +({cpu: 2100138471 +| mem: 1700398}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/6d88f7294dd2b5ce02c3dc609bc7715bd508009738401d264bf9b3eb7c6f49c1.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/6d88f7294dd2b5ce02c3dc609bc7715bd508009738401d264bf9b3eb7c6f49c1.eval.golden index 0fc3806a07c..1dd357e8399 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/6d88f7294dd2b5ce02c3dc609bc7715bd508009738401d264bf9b3eb7c6f49c1.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/6d88f7294dd2b5ce02c3dc609bc7715bd508009738401d264bf9b3eb7c6f49c1.eval.golden @@ -1,2 +1,2 @@ -({cpu: 564782496 -| mem: 2031445}) \ No newline at end of file +({cpu: 562758009 +| mem: 2024441}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/70f65b21b77ddb451f3df9d9fb403ced3d10e1e953867cc4900cc25e5b9dec47.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/70f65b21b77ddb451f3df9d9fb403ced3d10e1e953867cc4900cc25e5b9dec47.eval.golden index 1ef4ec43d64..1d5b1512bef 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/70f65b21b77ddb451f3df9d9fb403ced3d10e1e953867cc4900cc25e5b9dec47.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/70f65b21b77ddb451f3df9d9fb403ced3d10e1e953867cc4900cc25e5b9dec47.eval.golden @@ -1,2 +1,2 @@ -({cpu: 922873293 -| mem: 3297027}) \ No newline at end of file +({cpu: 921280530 +| mem: 3291255}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/71965c9ccae31f1ffc1d85aa20a356d4ed97a420954018d8301ec4f9783be0d7.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/71965c9ccae31f1ffc1d85aa20a356d4ed97a420954018d8301ec4f9783be0d7.eval.golden index 87d29f32b0a..7237a5b1d3b 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/71965c9ccae31f1ffc1d85aa20a356d4ed97a420954018d8301ec4f9783be0d7.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/71965c9ccae31f1ffc1d85aa20a356d4ed97a420954018d8301ec4f9783be0d7.eval.golden @@ -1,2 +1,2 @@ -({cpu: 549830448 -| mem: 1978061}) \ No newline at end of file +({cpu: 547805961 +| mem: 1971057}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/74c67f2f182b9a0a66c62b95d6fac5ace3f7e71ea3abfc52ffbe3ecb93436ea2.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/74c67f2f182b9a0a66c62b95d6fac5ace3f7e71ea3abfc52ffbe3ecb93436ea2.eval.golden index 28db597def6..9172540d628 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/74c67f2f182b9a0a66c62b95d6fac5ace3f7e71ea3abfc52ffbe3ecb93436ea2.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/74c67f2f182b9a0a66c62b95d6fac5ace3f7e71ea3abfc52ffbe3ecb93436ea2.eval.golden @@ -1,2 +1,2 @@ -({cpu: 979166158 -| mem: 3591398}) \ No newline at end of file +({cpu: 977692526 +| mem: 3586090}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/7529b206a78becb793da74b78c04d9d33a2540a1abd79718e681228f4057403a.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/7529b206a78becb793da74b78c04d9d33a2540a1abd79718e681228f4057403a.eval.golden index d293ff201e4..939817f8632 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/7529b206a78becb793da74b78c04d9d33a2540a1abd79718e681228f4057403a.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/7529b206a78becb793da74b78c04d9d33a2540a1abd79718e681228f4057403a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1000508784 -| mem: 3709492}) \ No newline at end of file +({cpu: 999035152 +| mem: 3704184}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/75a8bb183688bce447e00f435a144c835435e40a5defc6f3b9be68b70b4a3db6.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/75a8bb183688bce447e00f435a144c835435e40a5defc6f3b9be68b70b4a3db6.eval.golden index f6f5262ae5f..d325c8e5a54 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/75a8bb183688bce447e00f435a144c835435e40a5defc6f3b9be68b70b4a3db6.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/75a8bb183688bce447e00f435a144c835435e40a5defc6f3b9be68b70b4a3db6.eval.golden @@ -1,2 +1,2 @@ -({cpu: 786515913 -| mem: 2833117}) \ No newline at end of file +({cpu: 784029505 +| mem: 2824489}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/7a758e17486d1a30462c32a5d5309bd1e98322a9dcbe277c143ed3aede9d265f.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/7a758e17486d1a30462c32a5d5309bd1e98322a9dcbe277c143ed3aede9d265f.eval.golden index 1db4b186ba1..fc42226e727 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/7a758e17486d1a30462c32a5d5309bd1e98322a9dcbe277c143ed3aede9d265f.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/7a758e17486d1a30462c32a5d5309bd1e98322a9dcbe277c143ed3aede9d265f.eval.golden @@ -1,2 +1,2 @@ -({cpu: 613390525 -| mem: 2138136}) \ No newline at end of file +({cpu: 611753295 +| mem: 2132328}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/7cbc5644b745f4ea635aca42cce5e4a4b9d2e61afdb3ac18128e1688c07071ba.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/7cbc5644b745f4ea635aca42cce5e4a4b9d2e61afdb3ac18128e1688c07071ba.eval.golden index 265a94f5ece..ce879f82804 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/7cbc5644b745f4ea635aca42cce5e4a4b9d2e61afdb3ac18128e1688c07071ba.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/7cbc5644b745f4ea635aca42cce5e4a4b9d2e61afdb3ac18128e1688c07071ba.eval.golden @@ -1,2 +1,2 @@ -({cpu: 604116750 -| mem: 2220254}) \ No newline at end of file +({cpu: 603447829 +| mem: 2217730}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/82213dfdb6a812b40446438767c61a388d2c0cfd0cbf7fd4a372b0dc59fa17e1.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/82213dfdb6a812b40446438767c61a388d2c0cfd0cbf7fd4a372b0dc59fa17e1.eval.golden index 912be9fdb14..8520ef31af8 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/82213dfdb6a812b40446438767c61a388d2c0cfd0cbf7fd4a372b0dc59fa17e1.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/82213dfdb6a812b40446438767c61a388d2c0cfd0cbf7fd4a372b0dc59fa17e1.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1483823823 -| mem: 4897976}) \ No newline at end of file +({cpu: 1480484522 +| mem: 4886172}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/8c7fdc3da6822b5112074380003524f50fb3a1ce6db4e501df1086773c6c0201.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/8c7fdc3da6822b5112074380003524f50fb3a1ce6db4e501df1086773c6c0201.eval.golden index c7482e7e224..3f5711b79b0 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/8c7fdc3da6822b5112074380003524f50fb3a1ce6db4e501df1086773c6c0201.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/8c7fdc3da6822b5112074380003524f50fb3a1ce6db4e501df1086773c6c0201.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1388177647 -| mem: 5054956}) \ No newline at end of file +({cpu: 1386122963 +| mem: 5047560}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/8d9ae67656a2911ab15a8e5301c960c69aa2517055197aff6b60a87ff718d66c.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/8d9ae67656a2911ab15a8e5301c960c69aa2517055197aff6b60a87ff718d66c.eval.golden index 3488f5d477c..708739029ec 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/8d9ae67656a2911ab15a8e5301c960c69aa2517055197aff6b60a87ff718d66c.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/8d9ae67656a2911ab15a8e5301c960c69aa2517055197aff6b60a87ff718d66c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 451577627 -| mem: 1664532}) \ No newline at end of file +({cpu: 450977264 +| mem: 1662240}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/96e1a2fa3ceb9a402f2a5841a0b645f87b4e8e75beb636692478ec39f74ee221.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/96e1a2fa3ceb9a402f2a5841a0b645f87b4e8e75beb636692478ec39f74ee221.eval.golden index 8cee4b6ab20..78a7644429a 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/96e1a2fa3ceb9a402f2a5841a0b645f87b4e8e75beb636692478ec39f74ee221.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/96e1a2fa3ceb9a402f2a5841a0b645f87b4e8e75beb636692478ec39f74ee221.eval.golden @@ -1,2 +1,2 @@ -({cpu: 358323609 -| mem: 1290535}) \ No newline at end of file +({cpu: 357079742 +| mem: 1286119}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/9fabc4fc3440cdb776b28c9bb1dd49c9a5b1605fe1490aa3f4f64a3fa8881b25.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/9fabc4fc3440cdb776b28c9bb1dd49c9a5b1605fe1490aa3f4f64a3fa8881b25.eval.golden index 3785411c035..869297135ae 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/9fabc4fc3440cdb776b28c9bb1dd49c9a5b1605fe1490aa3f4f64a3fa8881b25.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/9fabc4fc3440cdb776b28c9bb1dd49c9a5b1605fe1490aa3f4f64a3fa8881b25.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1283801260 -| mem: 4385219}) \ No newline at end of file +({cpu: 1280235909 +| mem: 4372879}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/a85173a832db3ea944fafc406dfe3fa3235254897d6d1d0e21bc380147687bd5.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/a85173a832db3ea944fafc406dfe3fa3235254897d6d1d0e21bc380147687bd5.eval.golden index f16fa2a02e2..71abd328bcf 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/a85173a832db3ea944fafc406dfe3fa3235254897d6d1d0e21bc380147687bd5.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/a85173a832db3ea944fafc406dfe3fa3235254897d6d1d0e21bc380147687bd5.eval.golden @@ -1,2 +1,2 @@ -({cpu: 447330533 -| mem: 1585417}) \ No newline at end of file +({cpu: 445675318 +| mem: 1579609}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/a9a853b6d083551f4ed2995551af287880ef42aee239a2d9bc5314d127cce592.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/a9a853b6d083551f4ed2995551af287880ef42aee239a2d9bc5314d127cce592.eval.golden index 1db4b186ba1..fc42226e727 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/a9a853b6d083551f4ed2995551af287880ef42aee239a2d9bc5314d127cce592.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/a9a853b6d083551f4ed2995551af287880ef42aee239a2d9bc5314d127cce592.eval.golden @@ -1,2 +1,2 @@ -({cpu: 613390525 -| mem: 2138136}) \ No newline at end of file +({cpu: 611753295 +| mem: 2132328}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/acb9c83c2b78dabef8674319ad69ba54912cd9997bdf2d8b2998c6bfeef3b122.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/acb9c83c2b78dabef8674319ad69ba54912cd9997bdf2d8b2998c6bfeef3b122.eval.golden index 5bbecf79d96..412245ac449 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/acb9c83c2b78dabef8674319ad69ba54912cd9997bdf2d8b2998c6bfeef3b122.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/acb9c83c2b78dabef8674319ad69ba54912cd9997bdf2d8b2998c6bfeef3b122.eval.golden @@ -1,2 +1,2 @@ -({cpu: 791555284 -| mem: 2916794}) \ No newline at end of file +({cpu: 790424442 +| mem: 2912646}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/acce04815e8fd51be93322888250060da173eccf3df3a605bd6bc6a456cde871.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/acce04815e8fd51be93322888250060da173eccf3df3a605bd6bc6a456cde871.eval.golden index 5370e63283b..be8df9e6fc9 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/acce04815e8fd51be93322888250060da173eccf3df3a605bd6bc6a456cde871.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/acce04815e8fd51be93322888250060da173eccf3df3a605bd6bc6a456cde871.eval.golden @@ -1,2 +1,2 @@ -({cpu: 403146675 -| mem: 1397853}) \ No newline at end of file +({cpu: 402134964 +| mem: 1394169}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ad6db94ed69b7161c7604568f44358e1cc11e81fea90e41afebd669e51bb60c8.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ad6db94ed69b7161c7604568f44358e1cc11e81fea90e41afebd669e51bb60c8.eval.golden index 6417bf10b9a..f6a0b921da3 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ad6db94ed69b7161c7604568f44358e1cc11e81fea90e41afebd669e51bb60c8.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ad6db94ed69b7161c7604568f44358e1cc11e81fea90e41afebd669e51bb60c8.eval.golden @@ -1,2 +1,2 @@ -({cpu: 710667967 -| mem: 2606328}) \ No newline at end of file +({cpu: 709674241 +| mem: 2602644}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/b21a4df3b0266ad3481a26d3e3d848aad2fcde89510b29cccce81971e38e0835.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/b21a4df3b0266ad3481a26d3e3d848aad2fcde89510b29cccce81971e38e0835.eval.golden index 8e8f9d34a5e..afbed1a3596 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/b21a4df3b0266ad3481a26d3e3d848aad2fcde89510b29cccce81971e38e0835.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/b21a4df3b0266ad3481a26d3e3d848aad2fcde89510b29cccce81971e38e0835.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1652991276 -| mem: 5937198}) \ No newline at end of file +({cpu: 1650063323 +| mem: 5926786}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/b50170cea48ee84b80558c02b15c6df52faf884e504d2c410ad63ba46d8ca35c.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/b50170cea48ee84b80558c02b15c6df52faf884e504d2c410ad63ba46d8ca35c.eval.golden index 4fabab0107b..3d362f97bc7 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/b50170cea48ee84b80558c02b15c6df52faf884e504d2c410ad63ba46d8ca35c.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/b50170cea48ee84b80558c02b15c6df52faf884e504d2c410ad63ba46d8ca35c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 953877147 -| mem: 3528596}) \ No newline at end of file +({cpu: 952677747 +| mem: 3524216}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/bb5345bfbbc460af84e784b900ec270df1948bb1d1e29eacecd022eeb168b315.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/bb5345bfbbc460af84e784b900ec270df1948bb1d1e29eacecd022eeb168b315.eval.golden index eb6dba9c96d..e60cf215503 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/bb5345bfbbc460af84e784b900ec270df1948bb1d1e29eacecd022eeb168b315.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/bb5345bfbbc460af84e784b900ec270df1948bb1d1e29eacecd022eeb168b315.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1148443111 -| mem: 4175054}) \ No newline at end of file +({cpu: 1146576116 +| mem: 4168354}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/c4bb185380df6e9b66fc1ee0564f09a8d1253a51a0c0c7890f2214df9ac19274.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/c4bb185380df6e9b66fc1ee0564f09a8d1253a51a0c0c7890f2214df9ac19274.eval.golden index ee6ee12bc86..72d6cc1c714 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/c4bb185380df6e9b66fc1ee0564f09a8d1253a51a0c0c7890f2214df9ac19274.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/c4bb185380df6e9b66fc1ee0564f09a8d1253a51a0c0c7890f2214df9ac19274.eval.golden @@ -1,2 +1,2 @@ -({cpu: 838044252 -| mem: 3039155}) \ No newline at end of file +({cpu: 835557844 +| mem: 3030527}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/c9efcb705ee057791f7c18a1de79c49f6e40ba143ce0579f1602fd780cabf153.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/c9efcb705ee057791f7c18a1de79c49f6e40ba143ce0579f1602fd780cabf153.eval.golden index 4b46e95415a..73e923093ba 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/c9efcb705ee057791f7c18a1de79c49f6e40ba143ce0579f1602fd780cabf153.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/c9efcb705ee057791f7c18a1de79c49f6e40ba143ce0579f1602fd780cabf153.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1008894152 -| mem: 3715216}) \ No newline at end of file +({cpu: 1007420520 +| mem: 3709908}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ccab11ce1a8774135d0e3c9e635631b68af9e276b5dabc66ff669d5650d0be1c.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ccab11ce1a8774135d0e3c9e635631b68af9e276b5dabc66ff669d5650d0be1c.eval.golden index bf3efc43bf3..cc85f9c092c 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ccab11ce1a8774135d0e3c9e635631b68af9e276b5dabc66ff669d5650d0be1c.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ccab11ce1a8774135d0e3c9e635631b68af9e276b5dabc66ff669d5650d0be1c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 674717039 -| mem: 1286760}) \ No newline at end of file +({cpu: 674116676 +| mem: 1284468}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/cdb9d5c233b288a5a9dcfbd8d5c1831a0bb46eec7a26fa31b80ae69d44805efc.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/cdb9d5c233b288a5a9dcfbd8d5c1831a0bb46eec7a26fa31b80ae69d44805efc.eval.golden index 866d4325087..c32224608d9 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/cdb9d5c233b288a5a9dcfbd8d5c1831a0bb46eec7a26fa31b80ae69d44805efc.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/cdb9d5c233b288a5a9dcfbd8d5c1831a0bb46eec7a26fa31b80ae69d44805efc.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1132276371 -| mem: 4176826}) \ No newline at end of file +({cpu: 1130939855 +| mem: 4171982}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ced1ea04649e093a501e43f8568ac3e6b37cd3eccec8cac9c70a4857b88a5eb8.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ced1ea04649e093a501e43f8568ac3e6b37cd3eccec8cac9c70a4857b88a5eb8.eval.golden index 0df355f3263..ee95757bc0f 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ced1ea04649e093a501e43f8568ac3e6b37cd3eccec8cac9c70a4857b88a5eb8.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ced1ea04649e093a501e43f8568ac3e6b37cd3eccec8cac9c70a4857b88a5eb8.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1057248243 -| mem: 3886766}) \ No newline at end of file +({cpu: 1055980285 +| mem: 3882154}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/cf542b7df466b228ca2197c2aaa89238a8122f3330fe5b77b3222f570395d9f5.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/cf542b7df466b228ca2197c2aaa89238a8122f3330fe5b77b3222f570395d9f5.eval.golden index 950a623279f..4d6b064344b 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/cf542b7df466b228ca2197c2aaa89238a8122f3330fe5b77b3222f570395d9f5.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/cf542b7df466b228ca2197c2aaa89238a8122f3330fe5b77b3222f570395d9f5.eval.golden @@ -1,2 +1,2 @@ -({cpu: 571488769 -| mem: 2058971}) \ No newline at end of file +({cpu: 569464282 +| mem: 2051967}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/d1ab832dfab25688f8845bec9387e46ee3f00ba5822197ade7dd540489ec5e95.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/d1ab832dfab25688f8845bec9387e46ee3f00ba5822197ade7dd540489ec5e95.eval.golden index f251610a64d..fbbb4a140eb 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/d1ab832dfab25688f8845bec9387e46ee3f00ba5822197ade7dd540489ec5e95.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/d1ab832dfab25688f8845bec9387e46ee3f00ba5822197ade7dd540489ec5e95.eval.golden @@ -1,2 +1,2 @@ -({cpu: 8429985323 -| mem: 1142014}) \ No newline at end of file +({cpu: 8429453518 +| mem: 1139954}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/d1c03759810747b7cab38c4296593b38567e11195d161b5bb0a2b58f89b2c65a.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/d1c03759810747b7cab38c4296593b38567e11195d161b5bb0a2b58f89b2c65a.eval.golden index 3cbdf8ab55b..7513943ab8e 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/d1c03759810747b7cab38c4296593b38567e11195d161b5bb0a2b58f89b2c65a.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/d1c03759810747b7cab38c4296593b38567e11195d161b5bb0a2b58f89b2c65a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1154131988 -| mem: 4151297}) \ No newline at end of file +({cpu: 1151115101 +| mem: 4140813}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/d64607eb8a1448595081547ea8780886fcbd9e06036460eea3705c88ea867e33.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/d64607eb8a1448595081547ea8780886fcbd9e06036460eea3705c88ea867e33.eval.golden index 23d7e0d3cf3..40a357a8a89 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/d64607eb8a1448595081547ea8780886fcbd9e06036460eea3705c88ea867e33.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/d64607eb8a1448595081547ea8780886fcbd9e06036460eea3705c88ea867e33.eval.golden @@ -1,2 +1,2 @@ -({cpu: 355703724 -| mem: 1285033}) \ No newline at end of file +({cpu: 354459857 +| mem: 1280617}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/dc241ac6ad1e04fb056d555d6a4f2d08a45d054c6f7f34355fcfeefebef479f3.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/dc241ac6ad1e04fb056d555d6a4f2d08a45d054c6f7f34355fcfeefebef479f3.eval.golden index ecca35894ff..36208929cee 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/dc241ac6ad1e04fb056d555d6a4f2d08a45d054c6f7f34355fcfeefebef479f3.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/dc241ac6ad1e04fb056d555d6a4f2d08a45d054c6f7f34355fcfeefebef479f3.eval.golden @@ -1,2 +1,2 @@ -({cpu: 553394016 -| mem: 2007817}) \ No newline at end of file +({cpu: 551438087 +| mem: 2001045}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/dd11ae574eaeab0e9925319768989313a93913fdc347c704ddaa27042757d990.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/dd11ae574eaeab0e9925319768989313a93913fdc347c704ddaa27042757d990.eval.golden index fef568c5639..7642139a23b 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/dd11ae574eaeab0e9925319768989313a93913fdc347c704ddaa27042757d990.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/dd11ae574eaeab0e9925319768989313a93913fdc347c704ddaa27042757d990.eval.golden @@ -1,2 +1,2 @@ -({cpu: 951111452 -| mem: 3526090}) \ No newline at end of file +({cpu: 949912052 +| mem: 3521710}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/e26c1cddba16e05fd10c34cbdb16ea6acdbac7c8323256c31c90c520ee6a1080.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/e26c1cddba16e05fd10c34cbdb16ea6acdbac7c8323256c31c90c520ee6a1080.eval.golden index de16e4427ef..b9beb2c37f0 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/e26c1cddba16e05fd10c34cbdb16ea6acdbac7c8323256c31c90c520ee6a1080.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/e26c1cddba16e05fd10c34cbdb16ea6acdbac7c8323256c31c90c520ee6a1080.eval.golden @@ -1,2 +1,2 @@ -({cpu: 446806545 -| mem: 1610078}) \ No newline at end of file +({cpu: 446206182 +| mem: 1607786}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/e34b48f80d49360e88c612f4016f7d68cb5678dd8cd5ddb981375a028b3a40a5.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/e34b48f80d49360e88c612f4016f7d68cb5678dd8cd5ddb981375a028b3a40a5.eval.golden index fc3a4962152..a7d66637258 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/e34b48f80d49360e88c612f4016f7d68cb5678dd8cd5ddb981375a028b3a40a5.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/e34b48f80d49360e88c612f4016f7d68cb5678dd8cd5ddb981375a028b3a40a5.eval.golden @@ -1,2 +1,2 @@ -({cpu: 502802733 -| mem: 1845922}) \ No newline at end of file +({cpu: 502065254 +| mem: 1843166}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079.eval.golden index 8cee4b6ab20..78a7644429a 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079.eval.golden @@ -1,2 +1,2 @@ -({cpu: 358323609 -| mem: 1290535}) \ No newline at end of file +({cpu: 357079742 +| mem: 1286119}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1.eval.golden index 84f6d7b1ed9..41b3ee143c0 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1.eval.golden @@ -1,2 +1,2 @@ -({cpu: 859609586 -| mem: 2498142}) \ No newline at end of file +({cpu: 858016823 +| mem: 2492370}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/eb4a605ed3a64961e9e66ad9631c2813dadf7131740212762ae4483ec749fe1d.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/eb4a605ed3a64961e9e66ad9631c2813dadf7131740212762ae4483ec749fe1d.eval.golden index 23d7e0d3cf3..40a357a8a89 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/eb4a605ed3a64961e9e66ad9631c2813dadf7131740212762ae4483ec749fe1d.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/eb4a605ed3a64961e9e66ad9631c2813dadf7131740212762ae4483ec749fe1d.eval.golden @@ -1,2 +1,2 @@ -({cpu: 355703724 -| mem: 1285033}) \ No newline at end of file +({cpu: 354459857 +| mem: 1280617}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ecb5e8308b57724e0f8533921693f111eba942123cf8660aac2b5bac21ec28f0.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ecb5e8308b57724e0f8533921693f111eba942123cf8660aac2b5bac21ec28f0.eval.golden index 6ac9c1e8bbe..4a62e450883 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ecb5e8308b57724e0f8533921693f111eba942123cf8660aac2b5bac21ec28f0.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ecb5e8308b57724e0f8533921693f111eba942123cf8660aac2b5bac21ec28f0.eval.golden @@ -1,2 +1,2 @@ -({cpu: 781874155 -| mem: 2811290}) \ No newline at end of file +({cpu: 780743313 +| mem: 2807142}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/f2a8fd2014922f0d8e01541205d47e9bb2d4e54333bdd408cbe7c47c55e73ae4.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/f2a8fd2014922f0d8e01541205d47e9bb2d4e54333bdd408cbe7c47c55e73ae4.eval.golden index ea026bc16db..62878f75d14 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/f2a8fd2014922f0d8e01541205d47e9bb2d4e54333bdd408cbe7c47c55e73ae4.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/f2a8fd2014922f0d8e01541205d47e9bb2d4e54333bdd408cbe7c47c55e73ae4.eval.golden @@ -1,2 +1,2 @@ -({cpu: 861967898 -| mem: 2870914}) \ No newline at end of file +({cpu: 859433308 +| mem: 2861894}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79.eval.golden index b40ec59b2d7..71d12a81f7c 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1957328142 -| mem: 1226804}) \ No newline at end of file +({cpu: 1956727779 +| mem: 1224512}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6.eval.golden index 81514c388f3..cd48c7191b4 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1153604467 -| mem: 4200330}) \ No newline at end of file +({cpu: 1151943146 +| mem: 4194326}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/semantics.size.golden b/plutus-benchmark/marlowe/test/semantics/9.6/semantics.size.golden index 27eb4006ec4..b5d4f4dffbe 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/semantics.size.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/semantics.size.golden @@ -1 +1 @@ -11710 \ No newline at end of file +11672 \ No newline at end of file diff --git a/plutus-benchmark/nofib/test/9.6/queens4-bt.eval.golden b/plutus-benchmark/nofib/test/9.6/queens4-bt.eval.golden index 1e51ec96f7a..9ae98d07c48 100644 --- a/plutus-benchmark/nofib/test/9.6/queens4-bt.eval.golden +++ b/plutus-benchmark/nofib/test/9.6/queens4-bt.eval.golden @@ -1,2 +1,2 @@ -({cpu: 8028768773 -| mem: 28840930}) \ No newline at end of file +({cpu: 8028699773 +| mem: 28840630}) \ No newline at end of file diff --git a/plutus-benchmark/nofib/test/9.6/queens4-bt.pir.golden b/plutus-benchmark/nofib/test/9.6/queens4-bt.pir.golden index d1a47114b3c..f674eaefc97 100644 --- a/plutus-benchmark/nofib/test/9.6/queens4-bt.pir.golden +++ b/plutus-benchmark/nofib/test/9.6/queens4-bt.pir.golden @@ -993,7 +993,6 @@ {all dead. dead} in let - !headEmptyListError : string = "PT8" !lookupCache : CSP -> Tree (Tuple2 (List Assign) (List (List ConflictSet))) -> @@ -1043,9 +1042,7 @@ tbl {all dead. List ConflictSet} (/\dead -> - traceError - {List ConflictSet} - headEmptyListError) + traceError {List ConflictSet} "PT8") (\(x : List ConflictSet) (ds : List (List ConflictSet)) -> /\dead -> x) @@ -1514,7 +1511,7 @@ (/\dead -> traceError {List ConflictSet} - headEmptyListError) + "PT8") (\(x : List ConflictSet) (ds : List diff --git a/plutus-benchmark/nofib/test/9.6/queens4-bt.size.golden b/plutus-benchmark/nofib/test/9.6/queens4-bt.size.golden index 3d99cf3b62a..369598ce7bf 100644 --- a/plutus-benchmark/nofib/test/9.6/queens4-bt.size.golden +++ b/plutus-benchmark/nofib/test/9.6/queens4-bt.size.golden @@ -1 +1 @@ -1930 \ No newline at end of file +1927 \ No newline at end of file diff --git a/plutus-benchmark/nofib/test/9.6/queens5-fc.eval.golden b/plutus-benchmark/nofib/test/9.6/queens5-fc.eval.golden index 58a40d16544..02271537c84 100644 --- a/plutus-benchmark/nofib/test/9.6/queens5-fc.eval.golden +++ b/plutus-benchmark/nofib/test/9.6/queens5-fc.eval.golden @@ -1,2 +1,2 @@ -({cpu: 284714232581 -| mem: 1087139966}) \ No newline at end of file +({cpu: 284714163581 +| mem: 1087139666}) \ No newline at end of file diff --git a/plutus-benchmark/nofib/test/9.6/queens5-fc.pir.golden b/plutus-benchmark/nofib/test/9.6/queens5-fc.pir.golden index 5de838d0048..3e5aec21b6c 100644 --- a/plutus-benchmark/nofib/test/9.6/queens5-fc.pir.golden +++ b/plutus-benchmark/nofib/test/9.6/queens5-fc.pir.golden @@ -993,7 +993,6 @@ {all dead. dead} in let - !headEmptyListError : string = "PT8" !lookupCache : CSP -> Tree (Tuple2 (List Assign) (List (List ConflictSet))) -> @@ -1043,9 +1042,7 @@ tbl {all dead. List ConflictSet} (/\dead -> - traceError - {List ConflictSet} - headEmptyListError) + traceError {List ConflictSet} "PT8") (\(x : List ConflictSet) (ds : List (List ConflictSet)) -> /\dead -> x) @@ -1514,7 +1511,7 @@ (/\dead -> traceError {List ConflictSet} - headEmptyListError) + "PT8") (\(x : List ConflictSet) (ds : List diff --git a/plutus-benchmark/nofib/test/9.6/queens5-fc.size.golden b/plutus-benchmark/nofib/test/9.6/queens5-fc.size.golden index 3d99cf3b62a..369598ce7bf 100644 --- a/plutus-benchmark/nofib/test/9.6/queens5-fc.size.golden +++ b/plutus-benchmark/nofib/test/9.6/queens5-fc.size.golden @@ -1 +1 @@ -1930 \ No newline at end of file +1927 \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.eval.golden index 8d02f512e1a..bee1c44b39f 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.eval.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.eval.golden @@ -1,2 +1,2 @@ -({cpu: 363902173 -| mem: 1102403}) \ No newline at end of file +({cpu: 363764173 +| mem: 1101803}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.eval.golden index 452fbfd2f53..75afd23e556 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.eval.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.eval.golden @@ -1,2 +1,2 @@ -({cpu: 109746941 -| mem: 338979}) \ No newline at end of file +({cpu: 109608941 +| mem: 338379}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden index 2458031e258..1b58a55b5b7 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden @@ -47,7 +47,6 @@ let !`$fUnsafeFromDataBuiltinData_$cunsafeFromBuiltinData` : data -> data = \(d : data) -> d - !reconstructCaseError : string = "PT1" data Bool | Bool_match where True : Bool False : Bool @@ -72,7 +71,7 @@ {all dead. Bool} (equalsInteger 1 index) (/\dead -> True) - (/\dead -> traceError {Bool} reconstructCaseError) + (/\dead -> traceError {Bool} "PT1") {all dead. dead}) {all dead. dead} data (Extended :: * -> *) a | Extended_match where @@ -103,7 +102,7 @@ {all dead. Extended a} (equalsInteger 2 index) (/\dead -> PosInf {a}) - (/\dead -> traceError {Extended a} reconstructCaseError) + (/\dead -> traceError {Extended a} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead} @@ -132,10 +131,10 @@ {all dead. bytestring} (equalsInteger 0 index) (/\dead -> unBData (headList {data} args)) - (/\dead -> traceError {bytestring} reconstructCaseError) + (/\dead -> traceError {bytestring} "PT1") {all dead. dead}) (unIData (headList {data} (tailList {data} args)))) - (/\dead -> traceError {GovernanceActionId} reconstructCaseError) + (/\dead -> traceError {GovernanceActionId} "PT1") {all dead. dead} !`$fUnsafeFromDataList_$cunsafeFromBuiltinData` : all a. (\a -> data -> a) a -> data -> List a @@ -173,7 +172,7 @@ {all dead. Credential} (equalsInteger 1 index) (/\dead -> ScriptCredential (unBData (headList {data} args))) - (/\dead -> traceError {Credential} reconstructCaseError) + (/\dead -> traceError {Credential} "PT1") {all dead. dead}) {all dead. dead} !`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` : @@ -195,7 +194,7 @@ (equalsInteger 0 index) (/\dead -> Just {a} (`$dUnsafeFromData` (headList {data} args))) - (/\dead -> traceError {Maybe a} reconstructCaseError) + (/\dead -> traceError {Maybe a} "PT1") {all dead. dead}) {all dead. dead} !`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` : @@ -256,14 +255,13 @@ data ProposalProcedure | ProposalProcedure_match where ProposalProcedure : integer -> Credential -> GovernanceAction -> ProposalProcedure - !`$fAdditiveMonoidInteger_$czero` : integer = 0 in letrec !euclid : integer -> integer -> integer = \(x : integer) (y : integer) -> ifThenElse {all dead. integer} - (equalsInteger y `$fAdditiveMonoidInteger_$czero`) + (equalsInteger 0 y) (/\dead -> x) (/\dead -> euclid y (modInteger x y)) {all dead. dead} @@ -273,16 +271,14 @@ = \(n : integer) (d : integer) -> ifThenElse {all dead. Rational} - (equalsInteger d `$fAdditiveMonoidInteger_$czero`) + (equalsInteger 0 d) (/\dead -> traceError {Rational} "PT3") (/\dead -> ifThenElse {all dead. Rational} - (lessThanInteger d `$fAdditiveMonoidInteger_$czero`) + (lessThanInteger d 0) (/\dead -> - unsafeRatio - (subtractInteger `$fAdditiveMonoidInteger_$czero` n) - (subtractInteger `$fAdditiveMonoidInteger_$czero` d)) + unsafeRatio (subtractInteger 0 n) (subtractInteger 0 d)) (/\dead -> let !gcd' : integer = euclid n d @@ -363,10 +359,7 @@ (headList {data} (tailList {data} args)))) - (/\dead -> - traceError - {ProtocolVersion} - reconstructCaseError) + (/\dead -> traceError {ProtocolVersion} "PT1") {all dead. dead})) (/\dead -> ifThenElse @@ -461,7 +454,7 @@ (/\dead -> traceError {Tuple2 integer integer} - reconstructCaseError) + "PT1") {all dead. dead}) {Rational} (\(a : integer) (b : integer) -> @@ -507,7 +500,7 @@ (/\dead -> traceError {Maybe bytestring} - reconstructCaseError) + "PT1") {all dead. dead})) (/\dead -> ifThenElse @@ -517,7 +510,7 @@ (/\dead -> traceError {GovernanceAction} - reconstructCaseError) + "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead}) @@ -525,7 +518,7 @@ {all dead. dead}) {all dead. dead}) {all dead. dead})) - (/\dead -> traceError {ProposalProcedure} reconstructCaseError) + (/\dead -> traceError {ProposalProcedure} "PT1") {all dead. dead} data DRep | DRep_match where DRep : Credential -> DRep @@ -555,7 +548,7 @@ {all dead. DRep} (equalsInteger 2 index) (/\dead -> DRepAlwaysNoConfidence) - (/\dead -> traceError {DRep} reconstructCaseError) + (/\dead -> traceError {DRep} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead} @@ -591,7 +584,7 @@ (unBData (headList {data} args)) (`$fUnsafeFromDataDRep_$cunsafeFromBuiltinData` (headList {data} (tailList {data} args)))) - (/\dead -> traceError {Delegatee} reconstructCaseError) + (/\dead -> traceError {Delegatee} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead} @@ -755,7 +748,7 @@ (/\dead -> traceError {TxCert} - reconstructCaseError) + "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead}) @@ -799,7 +792,7 @@ (equalsInteger 2 index) (/\dead -> StakePoolVoter (unBData (headList {data} args))) - (/\dead -> traceError {Voter} reconstructCaseError) + (/\dead -> traceError {Voter} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead} @@ -819,7 +812,7 @@ TxOutRef (unBData (headList {data} args)) (unIData (headList {data} (tailList {data} args)))) - (/\dead -> traceError {TxOutRef} reconstructCaseError) + (/\dead -> traceError {TxOutRef} "PT1") {all dead. dead} data ScriptPurpose | ScriptPurpose_match where Certifying : integer -> TxCert -> ScriptPurpose @@ -885,9 +878,7 @@ {data} (tailList {data} args)))) (/\dead -> - traceError - {ScriptPurpose} - reconstructCaseError) + traceError {ScriptPurpose} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead}) @@ -964,13 +955,11 @@ {data} (tailList {data} l)))) (/\dead -> - traceError - {StakingCredential} - reconstructCaseError) + traceError {StakingCredential} "PT1") {all dead. dead}) {all dead. dead}) (headList {data} (tailList {data} args)))) - (/\dead -> traceError {Address} reconstructCaseError) + (/\dead -> traceError {Address} "PT1") {all dead. dead}) (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` {bytestring} @@ -999,8 +988,7 @@ {all dead. OutputDatum} (equalsInteger 2 index) (/\dead -> OutputDatum (headList {data} args)) - (/\dead -> - traceError {OutputDatum} reconstructCaseError) + (/\dead -> traceError {OutputDatum} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead}) @@ -1008,7 +996,7 @@ {bytestring} unBData (headList {data} (tailList {data} l)))) - (/\dead -> traceError {TxOut} reconstructCaseError) + (/\dead -> traceError {TxOut} "PT1") {all dead. dead} data TxInInfo | TxInInfo_match where TxInInfo : TxOutRef -> TxOut -> TxInInfo @@ -1028,7 +1016,7 @@ (headList {data} args)) (`$fUnsafeFromDataTxOut_$cunsafeFromBuiltinData` (headList {data} (tailList {data} args)))) - (/\dead -> traceError {TxInInfo} reconstructCaseError) + (/\dead -> traceError {TxInInfo} "PT1") {all dead. dead} data (LowerBound :: * -> *) a | LowerBound_match where LowerBound : Extended a -> Bool -> LowerBound a @@ -1166,10 +1154,7 @@ (headList {data} args)) (`$fUnsafeFromDataBool_$cunsafeFromBuiltinData` (headList {data} (tailList {data} args)))) - (/\dead -> - traceError - {LowerBound integer} - reconstructCaseError) + (/\dead -> traceError {LowerBound integer} "PT1") {all dead. dead}) (let !tup : pair integer (list data) @@ -1192,13 +1177,9 @@ (headList {data} args)) (`$fUnsafeFromDataBool_$cunsafeFromBuiltinData` (headList {data} (tailList {data} args)))) - (/\dead -> - traceError - {UpperBound integer} - reconstructCaseError) + (/\dead -> traceError {UpperBound integer} "PT1") {all dead. dead})) - (/\dead -> - traceError {Interval integer} reconstructCaseError) + (/\dead -> traceError {Interval integer} "PT1") {all dead. dead}) (`$fUnsafeFromDataList_$cunsafeFromBuiltinData` {bytestring} @@ -1247,10 +1228,7 @@ {all dead. Vote} (equalsInteger 2 index) (/\dead -> Abstain) - (/\dead -> - traceError - {Vote} - reconstructCaseError) + (/\dead -> traceError {Vote} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead})) @@ -1267,11 +1245,11 @@ {integer} unIData (headList {data} (tailList {data} l)))) - (/\dead -> traceError {TxInfo} reconstructCaseError) + (/\dead -> traceError {TxInfo} "PT1") {all dead. dead}) (`$fUnsafeFromDataScriptContext_$cunsafeFromBuiltinData` (headList {data} (tailList {data} args)))) - (/\dead -> traceError {ScriptContext} reconstructCaseError) + (/\dead -> traceError {ScriptContext} "PT1") {all dead. dead}) {Unit} (\(ipv : TxInfo) (ipv : ScriptPurpose) -> diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden index 4b9661fc97b..d6e3c138f20 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden @@ -1 +1 @@ -2829 \ No newline at end of file +2823 \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.eval.golden index c2a7932de39..19b1385cf4f 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.eval.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.eval.golden @@ -1,2 +1,2 @@ -({cpu: 347437684 -| mem: 1051960}) \ No newline at end of file +({cpu: 347299684 +| mem: 1051360}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.eval.golden index 700e8165f60..b41452b28b0 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.eval.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.eval.golden @@ -1,2 +1,2 @@ -({cpu: 104682084 -| mem: 323768}) \ No newline at end of file +({cpu: 104544084 +| mem: 323168}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden index e71bdb4dc3b..2c2ffc21b56 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden @@ -1,7 +1,6 @@ (let !`$fUnsafeFromDataBuiltinData_$cunsafeFromBuiltinData` : data -> data = \(d : data) -> d - !reconstructCaseError : string = "PT1" data Bool | Bool_match where True : Bool False : Bool @@ -26,7 +25,7 @@ {all dead. Bool} (equalsInteger 1 index) (/\dead -> True) - (/\dead -> traceError {Bool} reconstructCaseError) + (/\dead -> traceError {Bool} "PT1") {all dead. dead}) {all dead. dead} data (Extended :: * -> *) a | Extended_match where @@ -57,7 +56,7 @@ {all dead. Extended a} (equalsInteger 2 index) (/\dead -> PosInf {a}) - (/\dead -> traceError {Extended a} reconstructCaseError) + (/\dead -> traceError {Extended a} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead} @@ -86,10 +85,10 @@ {all dead. bytestring} (equalsInteger 0 index) (/\dead -> unBData (headList {data} args)) - (/\dead -> traceError {bytestring} reconstructCaseError) + (/\dead -> traceError {bytestring} "PT1") {all dead. dead}) (unIData (headList {data} (tailList {data} args)))) - (/\dead -> traceError {GovernanceActionId} reconstructCaseError) + (/\dead -> traceError {GovernanceActionId} "PT1") {all dead. dead} in letrec @@ -137,7 +136,7 @@ {all dead. Credential} (equalsInteger 1 index) (/\dead -> ScriptCredential (unBData (headList {data} args))) - (/\dead -> traceError {Credential} reconstructCaseError) + (/\dead -> traceError {Credential} "PT1") {all dead. dead}) {all dead. dead} data (Maybe :: * -> *) a | Maybe_match where @@ -162,7 +161,7 @@ (equalsInteger 0 index) (/\dead -> Just {a} (`$dUnsafeFromData` (headList {data} args))) - (/\dead -> traceError {Maybe a} reconstructCaseError) + (/\dead -> traceError {Maybe a} "PT1") {all dead. dead}) {all dead. dead} data (Tuple2 :: * -> * -> *) a b | Tuple2_match where @@ -225,14 +224,13 @@ data ProposalProcedure | ProposalProcedure_match where ProposalProcedure : integer -> Credential -> GovernanceAction -> ProposalProcedure - !`$fAdditiveMonoidInteger_$czero` : integer = 0 in letrec !euclid : integer -> integer -> integer = \(x : integer) (y : integer) -> ifThenElse {all dead. integer} - (equalsInteger y `$fAdditiveMonoidInteger_$czero`) + (equalsInteger 0 y) (/\dead -> x) (/\dead -> euclid y (modInteger x y)) {all dead. dead} @@ -242,16 +240,14 @@ = \(n : integer) (d : integer) -> ifThenElse {all dead. Rational} - (equalsInteger d `$fAdditiveMonoidInteger_$czero`) + (equalsInteger 0 d) (/\dead -> traceError {Rational} "PT3") (/\dead -> ifThenElse {all dead. Rational} - (lessThanInteger d `$fAdditiveMonoidInteger_$czero`) + (lessThanInteger d 0) (/\dead -> - unsafeRatio - (subtractInteger `$fAdditiveMonoidInteger_$czero` n) - (subtractInteger `$fAdditiveMonoidInteger_$czero` d)) + unsafeRatio (subtractInteger 0 n) (subtractInteger 0 d)) (/\dead -> let !gcd' : integer = euclid n d @@ -332,10 +328,7 @@ (headList {data} (tailList {data} args)))) - (/\dead -> - traceError - {ProtocolVersion} - reconstructCaseError) + (/\dead -> traceError {ProtocolVersion} "PT1") {all dead. dead})) (/\dead -> ifThenElse @@ -430,7 +423,7 @@ (/\dead -> traceError {Tuple2 integer integer} - reconstructCaseError) + "PT1") {all dead. dead}) {Rational} (\(a : integer) (b : integer) -> @@ -476,7 +469,7 @@ (/\dead -> traceError {Maybe bytestring} - reconstructCaseError) + "PT1") {all dead. dead})) (/\dead -> ifThenElse @@ -486,7 +479,7 @@ (/\dead -> traceError {GovernanceAction} - reconstructCaseError) + "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead}) @@ -494,7 +487,7 @@ {all dead. dead}) {all dead. dead}) {all dead. dead})) - (/\dead -> traceError {ProposalProcedure} reconstructCaseError) + (/\dead -> traceError {ProposalProcedure} "PT1") {all dead. dead} data DRep | DRep_match where DRep : Credential -> DRep @@ -524,7 +517,7 @@ {all dead. DRep} (equalsInteger 2 index) (/\dead -> DRepAlwaysNoConfidence) - (/\dead -> traceError {DRep} reconstructCaseError) + (/\dead -> traceError {DRep} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead} @@ -560,7 +553,7 @@ (unBData (headList {data} args)) (`$fUnsafeFromDataDRep_$cunsafeFromBuiltinData` (headList {data} (tailList {data} args)))) - (/\dead -> traceError {Delegatee} reconstructCaseError) + (/\dead -> traceError {Delegatee} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead} @@ -724,7 +717,7 @@ (/\dead -> traceError {TxCert} - reconstructCaseError) + "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead}) @@ -768,7 +761,7 @@ (equalsInteger 2 index) (/\dead -> StakePoolVoter (unBData (headList {data} args))) - (/\dead -> traceError {Voter} reconstructCaseError) + (/\dead -> traceError {Voter} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead} @@ -788,7 +781,7 @@ TxOutRef (unBData (headList {data} args)) (unIData (headList {data} (tailList {data} args)))) - (/\dead -> traceError {TxOutRef} reconstructCaseError) + (/\dead -> traceError {TxOutRef} "PT1") {all dead. dead} data ScriptPurpose | ScriptPurpose_match where Certifying : integer -> TxCert -> ScriptPurpose @@ -854,9 +847,7 @@ {data} (tailList {data} args)))) (/\dead -> - traceError - {ScriptPurpose} - reconstructCaseError) + traceError {ScriptPurpose} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead}) @@ -951,13 +942,11 @@ {data} (tailList {data} l)))) (/\dead -> - traceError - {StakingCredential} - reconstructCaseError) + traceError {StakingCredential} "PT1") {all dead. dead}) {all dead. dead}) (headList {data} (tailList {data} args)))) - (/\dead -> traceError {Address} reconstructCaseError) + (/\dead -> traceError {Address} "PT1") {all dead. dead}) (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` {bytestring} @@ -986,8 +975,7 @@ {all dead. OutputDatum} (equalsInteger 2 index) (/\dead -> OutputDatum (headList {data} args)) - (/\dead -> - traceError {OutputDatum} reconstructCaseError) + (/\dead -> traceError {OutputDatum} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead}) @@ -995,7 +983,7 @@ {bytestring} unBData (headList {data} (tailList {data} l)))) - (/\dead -> traceError {TxOut} reconstructCaseError) + (/\dead -> traceError {TxOut} "PT1") {all dead. dead} data TxInInfo | TxInInfo_match where TxInInfo : TxOutRef -> TxOut -> TxInInfo @@ -1015,7 +1003,7 @@ (headList {data} args)) (`$fUnsafeFromDataTxOut_$cunsafeFromBuiltinData` (headList {data} (tailList {data} args)))) - (/\dead -> traceError {TxInInfo} reconstructCaseError) + (/\dead -> traceError {TxInInfo} "PT1") {all dead. dead} data (LowerBound :: * -> *) a | LowerBound_match where LowerBound : Extended a -> Bool -> LowerBound a @@ -1157,10 +1145,7 @@ (headList {data} (tailList {data} args)))) - (/\dead -> - traceError - {LowerBound integer} - reconstructCaseError) + (/\dead -> traceError {LowerBound integer} "PT1") {all dead. dead}) (let !tup : pair integer (list data) @@ -1185,13 +1170,9 @@ (headList {data} (tailList {data} args)))) - (/\dead -> - traceError - {UpperBound integer} - reconstructCaseError) + (/\dead -> traceError {UpperBound integer} "PT1") {all dead. dead})) - (/\dead -> - traceError {Interval integer} reconstructCaseError) + (/\dead -> traceError {Interval integer} "PT1") {all dead. dead}) (`$fUnsafeFromDataList_$cunsafeFromBuiltinData` {bytestring} @@ -1241,10 +1222,7 @@ {all dead. Vote} (equalsInteger 2 index) (/\dead -> Abstain) - (/\dead -> - traceError - {Vote} - reconstructCaseError) + (/\dead -> traceError {Vote} "PT1") {all dead. dead}) {all dead. dead}) {all dead. dead})) @@ -1261,11 +1239,11 @@ {integer} unIData (headList {data} (tailList {data} l)))) - (/\dead -> traceError {TxInfo} reconstructCaseError) + (/\dead -> traceError {TxInfo} "PT1") {all dead. dead}) (`$fUnsafeFromDataScriptContext_$cunsafeFromBuiltinData` (headList {data} (tailList {data} args)))) - (/\dead -> traceError {ScriptContext} reconstructCaseError) + (/\dead -> traceError {ScriptContext} "PT1") {all dead. dead} in Unit) diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden index 48d70c72494..ffd0e45c592 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden @@ -1 +1 @@ -2769 \ No newline at end of file +2763 \ No newline at end of file diff --git a/plutus-core/plutus-ir/src/PlutusIR/Compiler.hs b/plutus-core/plutus-ir/src/PlutusIR/Compiler.hs index fe72fa03868..8f5337935b7 100644 --- a/plutus-core/plutus-ir/src/PlutusIR/Compiler.hs +++ b/plutus-core/plutus-ir/src/PlutusIR/Compiler.hs @@ -138,6 +138,7 @@ simplifierIteration suffix = do preserveLogging <- view (ccOpts . coPreserveLogging) cocConservative <- view (ccOpts . coCaseOfCaseConservative) rules <- view ccRewriteRules + ic <- view (ccOpts . coInlineConstants) pure $ P.NamedPass ("simplifier" ++ suffix) $ fold [ mwhen (opts ^. coDoSimplifierUnwrapCancel) $ Unwrap.unwrapCancelPass tcconfig @@ -147,7 +148,7 @@ simplifierIteration suffix = do , mwhen (opts ^. coDoSimplifierBeta) $ Beta.betaPassSC tcconfig , mwhen (opts ^. coDoSimplifierStrictifyBindings ) $ StrictifyBindings.strictifyBindingsPass tcconfig binfo , mwhen (opts ^. coDoSimplifierEvaluateBuiltins) $ EvaluateBuiltins.evaluateBuiltinsPass tcconfig preserveLogging binfo costModel - , mwhen (opts ^. coDoSimplifierInline) $ Inline.inlinePassSC tcconfig hints binfo + , mwhen (opts ^. coDoSimplifierInline) $ Inline.inlinePassSC ic tcconfig hints binfo , mwhen (opts ^. coDoSimplifierRewrite) $ RewriteRules.rewritePassSC tcconfig rules ] diff --git a/plutus-core/plutus-ir/src/PlutusIR/Compiler/Types.hs b/plutus-core/plutus-ir/src/PlutusIR/Compiler/Types.hs index 493aaaff67e..faa4fc78476 100644 --- a/plutus-core/plutus-ir/src/PlutusIR/Compiler/Types.hs +++ b/plutus-core/plutus-ir/src/PlutusIR/Compiler/Types.hs @@ -93,6 +93,7 @@ data CompilationOpts a = CompilationOpts { , _coDoSimplifierEvaluateBuiltins :: Bool , _coDoSimplifierStrictifyBindings :: Bool , _coInlineHints :: InlineHints PLC.Name (Provenance a) + , _coInlineConstants :: Bool -- Profiling , _coProfile :: Bool , _coRelaxedFloatin :: Bool @@ -122,6 +123,7 @@ defaultCompilationOpts = CompilationOpts , _coDoSimplifierEvaluateBuiltins = True , _coDoSimplifierStrictifyBindings = True , _coInlineHints = mempty + , _coInlineConstants = True , _coProfile = False , _coRelaxedFloatin = True , _coCaseOfCaseConservative = True diff --git a/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/Inline.hs b/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/Inline.hs index 1b08a90cddc..eff15c7ad42 100644 --- a/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/Inline.hs +++ b/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/Inline.hs @@ -159,23 +159,28 @@ supply, and the performance cost does not currently seem relevant. So it's fine. inlinePassSC :: forall uni fun ann m . (PLC.Typecheckable uni fun, PLC.GEq uni, Ord ann, ExternalConstraints TyName Name uni fun m) - => TC.PirTCConfig uni fun + => Bool + -- ^ should we inline constants? + -> TC.PirTCConfig uni fun -> InlineHints Name ann -> BuiltinsInfo uni fun -> Pass m TyName Name uni fun ann -inlinePassSC tcconfig hints binfo = renamePass <> inlinePass tcconfig hints binfo +inlinePassSC ic tcconfig hints binfo = + renamePass <> inlinePass ic tcconfig hints binfo inlinePass :: forall uni fun ann m . (PLC.Typecheckable uni fun, PLC.GEq uni, Ord ann, ExternalConstraints TyName Name uni fun m) - => TC.PirTCConfig uni fun + => Bool + -- ^ should we inline constants? + -> TC.PirTCConfig uni fun -> InlineHints Name ann -> BuiltinsInfo uni fun -> Pass m TyName Name uni fun ann -inlinePass tcconfig hints binfo = +inlinePass ic tcconfig hints binfo = NamedPass "inline" $ Pass - (inline hints binfo) + (inline ic hints binfo ) [GloballyUniqueNames, Typechecks tcconfig] [ConstCondition GloballyUniqueNames, ConstCondition (Typechecks tcconfig)] @@ -184,13 +189,15 @@ inlinePass tcconfig hints binfo = inline :: forall tyname name uni fun ann m . ExternalConstraints tyname name uni fun m - => InlineHints name ann + => Bool + -- ^ should we inline constants? + -> InlineHints name ann -> BuiltinsInfo uni fun -> Term tyname name uni fun ann -> m (Term tyname name uni fun ann) -inline hints binfo t = let +inline ic hints binfo t = let inlineInfo :: InlineInfo tyname name uni fun ann - inlineInfo = InlineInfo vinfo usgs hints binfo + inlineInfo = InlineInfo vinfo usgs hints binfo ic vinfo = VarInfo.termVarInfo t usgs :: Usages.Usages usgs = Usages.termUsages t diff --git a/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/Utils.hs b/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/Utils.hs index 06c16c1af45..b4716a27247 100644 --- a/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/Utils.hs +++ b/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/Utils.hs @@ -55,14 +55,16 @@ type InliningConstraints tyname name uni fun = -- -- See [Inlining and global uniqueness] for caveats about this information. data InlineInfo tyname name uni fun ann = InlineInfo - { _iiVarInfo :: VarInfo.VarsInfo tyname name uni ann + { _iiVarInfo :: VarInfo.VarsInfo tyname name uni ann -- ^ Is it strict? Only needed for PIR, not UPLC - , _iiUsages :: Usages.Usages + , _iiUsages :: Usages.Usages -- ^ how many times is it used? - , _iiHints :: InlineHints name ann + , _iiHints :: InlineHints name ann -- ^ have we explicitly been told to inline? - , _iiBuiltinsInfo :: BuiltinsInfo uni fun + , _iiBuiltinsInfo :: BuiltinsInfo uni fun -- ^ the semantics variant. + , _iiInlineConstants :: Bool + -- ^ should we inline constants? } makeLenses ''InlineInfo @@ -352,8 +354,8 @@ costIsAcceptable = \case -- See Note [Inlining criteria] -- | Is the size increase (in the AST) of inlining a variable whose RHS is -- the given term acceptable? -sizeIsAcceptable :: Term tyname name uni fun ann -> Bool -sizeIsAcceptable = \case +sizeIsAcceptable :: Bool -> Term tyname name uni fun ann -> Bool +sizeIsAcceptable inlineConstants = \case Builtin{} -> True Var{} -> True Error{} -> True @@ -363,7 +365,7 @@ sizeIsAcceptable = \case -- Inlining constructors of size 1 or 0 seems okay Constr _ _ _ es -> case es of [] -> True - [e] -> sizeIsAcceptable e + [e] -> sizeIsAcceptable inlineConstants e _ -> False -- Cases are pretty big, due to the case branches Case{} -> False @@ -371,9 +373,9 @@ sizeIsAcceptable = \case -- Arguably we could allow these two, but they're uncommon anyway IWrap{} -> False Unwrap{} -> False - -- Constants can be big! We could check the size here and inline if they're - -- small, but probably not worth it - Constant{} -> False + -- Inlining constants is deemed acceptable if the 'inlineConstants' + -- flag is turned on + Constant{} -> inlineConstants Apply{} -> False TyInst{} -> False Let{} -> False @@ -408,4 +410,5 @@ shouldUnconditionallyInline s n rhs body = preUnconditional ||^ postUnconditiona -- exactly one, so there's no point checking if the term is immediately evaluated. postUnconditional = do isBindingPure <- isTermBindingPure s rhs - pure $ isBindingPure && sizeIsAcceptable rhs && costIsAcceptable rhs + inlineConstants <- view iiInlineConstants + pure $ isBindingPure && sizeIsAcceptable inlineConstants rhs && costIsAcceptable rhs diff --git a/plutus-core/plutus-ir/test/PlutusIR/Scoping/Tests.hs b/plutus-core/plutus-ir/test/PlutusIR/Scoping/Tests.hs index 60d09e0e35f..9a10f6ece80 100644 --- a/plutus-core/plutus-ir/test/PlutusIR/Scoping/Tests.hs +++ b/plutus-core/plutus-ir/test/PlutusIR/Scoping/Tests.hs @@ -46,7 +46,7 @@ test_names = testGroup "names" -- promises) due to the lack of marking in it (or initial renaming of the entire program, -- which would perform marking too). T.test_scopingBad "inlining" genTerm T.BindingRemovalOk T.PrerenameYes $ - Inline.inline mempty def + Inline.inline True mempty def , T.test_scopingGood "match-against-known-constructor" genTerm diff --git a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/Tests.hs b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/Tests.hs index 4dba93991c8..beb34587714 100644 --- a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/Tests.hs +++ b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/Tests.hs @@ -18,7 +18,7 @@ test_inline :: TestTree test_inline = runTestNestedIn ["plutus-ir", "test", "PlutusIR", "Transform"] $ testNested "Inline" $ map - (goldenPir (runQuote . runTestPass (\tc -> inlinePassSC tc mempty def)) pTerm) + (runTest withConstantInlining) [ "var" , "builtin" , "callsite-non-trivial-body" @@ -60,7 +60,14 @@ test_inline = runTestNestedIn ["plutus-ir", "test", "PlutusIR", "Transform"] $ , "partiallyApp" , "effectfulBuiltinArg" , "nameCapture" + , "inlineConstantsOn" ] + <> [runTest withoutConstantInlining "inlineConstantsOff"] + where + runTest constantInlining = + goldenPir (runQuote . runTestPass (\tc -> inlinePassSC constantInlining tc mempty def)) pTerm + withConstantInlining = True + withoutConstantInlining = False prop_inline :: BuiltinSemanticsVariant DefaultFun -> Property @@ -68,4 +75,4 @@ prop_inline biVariant = withMaxSuccess (3 * numTestsForPassProp) $ testPassProp runQuote - $ \tc -> inlinePassSC tc mempty (def {_biSemanticsVariant = biVariant}) + $ \tc -> inlinePassSC True tc mempty (def {_biSemanticsVariant = biVariant}) diff --git a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/inlineConstantsOff b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/inlineConstantsOff new file mode 100644 index 00000000000..038af3e9538 --- /dev/null +++ b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/inlineConstantsOff @@ -0,0 +1,26 @@ +{- +The following program should NOT be transformed into '3 + (3 + 5)', +because constant inlining is turned off. + +let + x :: Integer + x = 3 + y :: Integer + y = x + 5 +in x + y +-} + +(let + (nonrec) + (termbind + (strict) + (vardecl x (con integer)) + (con integer 3) + ) + (termbind + (strict) + (vardecl y (con integer)) + [(builtin addInteger) x (con integer 5)] + ) + [(builtin addInteger) x y] +) \ No newline at end of file diff --git a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/inlineConstantsOff.golden b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/inlineConstantsOff.golden new file mode 100644 index 00000000000..3069793dd8d --- /dev/null +++ b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/inlineConstantsOff.golden @@ -0,0 +1,5 @@ +(let + (nonrec) + (termbind (strict) (vardecl x (con integer)) (con integer 3)) + [ [ (builtin addInteger) x ] [ [ (builtin addInteger) x ] (con integer 5) ] ] +) \ No newline at end of file diff --git a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/inlineConstantsOn b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/inlineConstantsOn new file mode 100644 index 00000000000..7ba3b1b1eae --- /dev/null +++ b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/inlineConstantsOn @@ -0,0 +1,26 @@ +{- +The following program should be transformed into '3 + (3 + 5)', +by substituting the values of 'x' and 'y' into the expression. + +let + x :: Integer + x = 3 + y :: Integer + y = x + 5 +in x + y +-} + +(let + (nonrec) + (termbind + (strict) + (vardecl x (con integer)) + (con integer 3) + ) + (termbind + (strict) + (vardecl y (con integer)) + [(builtin addInteger) x (con integer 5)] + ) + [(builtin addInteger) x y] +) \ No newline at end of file diff --git a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/inlineConstantsOn.golden b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/inlineConstantsOn.golden new file mode 100644 index 00000000000..89dbd9e691c --- /dev/null +++ b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/inlineConstantsOn.golden @@ -0,0 +1,4 @@ +[ + [ (builtin addInteger) (con integer 3) ] + [ [ (builtin addInteger) (con integer 3) ] (con integer 5) ] +] \ No newline at end of file diff --git a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/letAppMultiNotAcceptable.golden b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/letAppMultiNotAcceptable.golden index 8da6c070a59..d17eb5b9a73 100644 --- a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/letAppMultiNotAcceptable.golden +++ b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/letAppMultiNotAcceptable.golden @@ -1,13 +1,9 @@ (let (nonrec) - (termbind (strict) (vardecl appNum (con integer)) (con integer 4)) - (let - (nonrec) - (termbind - (strict) - (vardecl funApp (fun (con integer) (con integer))) - (lam x (con integer) [ [ (builtin addInteger) appNum ] x ]) - ) - [ funApp appNum ] + (termbind + (strict) + (vardecl funApp (fun (con integer) (con integer))) + (lam x (con integer) [ [ (builtin addInteger) (con integer 4) ] x ]) ) + [ funApp (con integer 4) ] ) \ No newline at end of file diff --git a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/nameCapture.golden b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/nameCapture.golden index 27979ec7e04..cd3e98f3de2 100644 --- a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/nameCapture.golden +++ b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/nameCapture.golden @@ -1,15 +1,15 @@ (let (nonrec) - (termbind (strict) (vardecl a (con integer)) (con integer 10)) - (let - (nonrec) - (termbind - (strict) (vardecl c (con integer)) [ [ (builtin addInteger) a ] a ] - ) - (let - (nonrec) - (termbind (strict) (vardecl a (con integer)) (con integer 7)) - [ [ (builtin addInteger) [ [ (builtin addInteger) a ] a ] ] a ] - ) + (termbind + (strict) + (vardecl c (con integer)) + [ [ (builtin addInteger) (con integer 10) ] (con integer 10) ] ) + [ + [ + (builtin addInteger) + [ [ (builtin addInteger) (con integer 10) ] (con integer 7) ] + ] + (con integer 7) + ] ) \ No newline at end of file diff --git a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/single.golden b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/single.golden index 8397ac02409..c302b6f7eae 100644 --- a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/single.golden +++ b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/single.golden @@ -1,21 +1,17 @@ (let (nonrec) - (termbind (strict) (vardecl x (con integer)) (con integer 42)) + (termbind + (strict) + (vardecl simple (con integer)) + [ (lam y (con integer) y) (con integer 1) ] + ) (let (nonrec) (termbind (strict) - (vardecl simple (con integer)) - [ (lam y (con integer) y) (con integer 1) ] - ) - (let - (nonrec) - (termbind - (strict) - (vardecl variableCapture (con integer)) - [ (lam y (con integer) x) (con integer 24) ] - ) - x + (vardecl variableCapture (con integer)) + [ (lam y (con integer) (con integer 42)) (con integer 24) ] ) + (con integer 42) ) ) \ No newline at end of file diff --git a/plutus-tx-plugin/changelog.d/20240213_184621_ana.pantilie95_plt_8176_inline_constants_pir.md b/plutus-tx-plugin/changelog.d/20240213_184621_ana.pantilie95_plt_8176_inline_constants_pir.md new file mode 100644 index 00000000000..545ef9f86b8 --- /dev/null +++ b/plutus-tx-plugin/changelog.d/20240213_184621_ana.pantilie95_plt_8176_inline_constants_pir.md @@ -0,0 +1,7 @@ +### Added + +- added constant inlining to inlining optimisation passes + +### Changed + +- 'conservative-mode' now also turns off constant inlining diff --git a/plutus-tx-plugin/src/PlutusTx/Options.hs b/plutus-tx-plugin/src/PlutusTx/Options.hs index e68fffaf1ae..60071112a01 100644 --- a/plutus-tx-plugin/src/PlutusTx/Options.hs +++ b/plutus-tx-plugin/src/PlutusTx/Options.hs @@ -65,6 +65,7 @@ data PluginOptions = PluginOptions , _posCoverageBoolean :: Bool , _posRelaxedFloatin :: Bool , _posCaseOfCaseConservative :: Bool + , _posInlineConstants :: Bool -- | Whether to try and retain the logging behaviour of the program. , _posPreserveLogging :: Bool , -- Setting to `True` defines `trace` as `\_ a -> a` instead of the builtin version. @@ -166,9 +167,11 @@ pluginOptions = [ Implication (== True) posRelaxedFloatin False , Implication (== True) posPreserveLogging True , Implication (== True) posCaseOfCaseConservative True + , Implication (== True) posInlineConstants False , Implication (== False) posRelaxedFloatin True , Implication (== False) posPreserveLogging False , Implication (== False) posCaseOfCaseConservative False + , Implication (== False) posInlineConstants True ] ) , let k = "context-level" @@ -315,6 +318,7 @@ defaultPluginOptions = , _posCoverageBoolean = False , _posRelaxedFloatin = True , _posCaseOfCaseConservative = False + , _posInlineConstants = True , _posPreserveLogging = False , _posRemoveTrace = False , _posDumpCompilationTrace = False diff --git a/plutus-tx-plugin/src/PlutusTx/Plugin.hs b/plutus-tx-plugin/src/PlutusTx/Plugin.hs index 07f34f65a8e..1891f1b808b 100644 --- a/plutus-tx-plugin/src/PlutusTx/Plugin.hs +++ b/plutus-tx-plugin/src/PlutusTx/Plugin.hs @@ -81,6 +81,7 @@ import Data.Set qualified as Set import GHC.Num.Integer qualified import PlutusIR.Analysis.Builtins import PlutusIR.Compiler.Provenance (noProvenance, original) +import PlutusIR.Compiler.Types qualified as PIR import PlutusIR.Transform.RewriteRules import Prettyprinter qualified as PP import System.IO (openTempFile) @@ -493,6 +494,8 @@ runCompiler moduleName opts expr = do (opts ^. posDoSimplifierEvaluateBuiltins) & set (PIR.ccOpts . PIR.coDoSimplifierStrictifyBindings) (opts ^. posDoSimplifierStrictifyBindings) + & set (PIR.ccOpts . PIR.coInlineConstants) + (opts ^. posInlineConstants) & set (PIR.ccOpts . PIR.coInlineHints) hints & set (PIR.ccOpts . PIR.coRelaxedFloatin) (opts ^. posRelaxedFloatin) & set (PIR.ccOpts . PIR.coCaseOfCaseConservative) diff --git a/plutus-tx-plugin/test/Budget/9.6/show.eval.golden b/plutus-tx-plugin/test/Budget/9.6/show.eval.golden index 25837b26069..9d4c11d1f1b 100644 --- a/plutus-tx-plugin/test/Budget/9.6/show.eval.golden +++ b/plutus-tx-plugin/test/Budget/9.6/show.eval.golden @@ -1,2 +1,2 @@ -({cpu: 2608401256 -| mem: 7358102}) \ No newline at end of file +({cpu: 2607779779 +| mem: 7356290}) \ No newline at end of file diff --git a/plutus-tx-plugin/test/Budget/9.6/show.pir.golden b/plutus-tx-plugin/test/Budget/9.6/show.pir.golden index a4823bc267c..96772727afe 100644 --- a/plutus-tx-plugin/test/Budget/9.6/show.pir.golden +++ b/plutus-tx-plugin/test/Budget/9.6/show.pir.golden @@ -1,6 +1,3 @@ -let - !y : integer = 10 -in letrec data (List :: * -> *) a | List_match where Nil : List a @@ -10,13 +7,13 @@ letrec !go : List integer -> integer -> List integer = \(acc : List integer) (n : integer) -> let - !x : integer = quotientInteger n y + !x : integer = quotientInteger n 10 in ifThenElse {all dead. List integer} (equalsInteger 0 x) - (/\dead -> Cons {integer} (remainderInteger n y) acc) - (/\dead -> go (Cons {integer} (remainderInteger n y) acc) x) + (/\dead -> Cons {integer} (remainderInteger n 10) acc) + (/\dead -> go (Cons {integer} (remainderInteger n 10) acc) x) {all dead. dead} in letrec @@ -171,7 +168,6 @@ let {all dead. dead}) {all dead. dead}) {all dead. dead} - !s : bytestring = #5468697320697320616e206578616d706c65 in letrec !go : List integer -> List string -> List string @@ -188,16 +184,14 @@ letrec in \(eta : List string) -> (let - !x : integer = indexByteString s x + !x : integer + = indexByteString #5468697320697320616e206578616d706c65 x in \(eta : List string) -> toHex (divideInteger x 16) (toHex (modInteger x 16) eta)) (acc eta)) {all dead. dead} in -let - !x : integer = -1234567890 -in letrec !`$fEnumBool_$cenumFromTo` : integer -> integer -> List integer = \(x : integer) (lim : integer) -> @@ -324,16 +318,13 @@ let data Bool | Bool_match where True : Bool False : Bool - !a : integer = trace {integer} (`$fShowInteger_$cshow` x) x + !a : integer + = trace {integer} (`$fShowInteger_$cshow` -1234567890) -1234567890 !c : integer = trace {integer} (concatBuiltinStrings - ((let - !len : integer = lengthOfByteString s - in - go (`$fEnumBool_$cenumFromTo` 0 (subtractInteger len 1))) - (Nil {string}))) + (go (`$fEnumBool_$cenumFromTo` 0 17) (Nil {string}))) a !d : integer = trace diff --git a/plutus-tx-plugin/test/Budget/9.6/show.uplc.golden b/plutus-tx-plugin/test/Budget/9.6/show.uplc.golden index 8f8a89598f8..46f4bb3f089 100644 --- a/plutus-tx-plugin/test/Budget/9.6/show.uplc.golden +++ b/plutus-tx-plugin/test/Budget/9.6/show.uplc.golden @@ -1,451 +1,426 @@ program 1.1.0 ((\fix1 -> - (\y -> + (\go -> (\go -> - (\go -> - (\`$fShowBuiltinByteString_$cshowsPrec` -> - (\s -> - (\toHex -> + (\`$fShowBuiltinByteString_$cshowsPrec` -> + (\toHex -> + (\go -> + (\`$fEnumBool_$cenumFromTo` -> (\go -> - (\x -> - (\`$fEnumBool_$cenumFromTo` -> - (\go -> - (\go -> - (\concatBuiltinStrings -> - (\a -> - (\c -> - (\d -> - (\cse -> - (\e -> - (\cse -> - multiplyInteger - 2 - (force - trace - (concatBuiltinStrings - (constr 1 - [ "(" - , (cse - (constr 1 - [ "," - , (cse - (constr 1 - [ "," - , (cse - c - (constr 1 - [ "," - , (cse - d - (constr 1 - [ "," - , (cse - e - (constr 1 - [ ")" - , (constr 0 - [ ]) ])) ])) ])) ])) ])) ])) - e)) - (cse a)) - (force - trace - (concatBuiltinStrings - ((\go -> - constr 1 - [ "[" - , (cse - a - (go - (constr 1 - [ a - , (constr 1 - [ c - , (constr 1 - [ d - , (constr 0 - [ ]) ]) ]) ]) - (constr 1 - [ "]" - , (constr 0 - [ ]) ]))) ]) - (fix1 - (\go - ds -> - force - (case - ds - [ (delay - (\x -> - x)) - , (\x - xs -> - delay - ((\acc - eta -> - constr 1 - [ "," - , (cse - x - (acc - eta)) ]) - (go - xs))) ]))))) - d)) - (`$fShowBuiltinByteString_$cshowsPrec` - 0)) - (force trace - (force ifThenElse - (lessThanEqualsInteger - c - 0) - "False" - "True") - c)) + (\go -> + (\concatBuiltinStrings -> + (\a -> + (\c -> + (\d -> + (\cse -> + (\e -> + (\cse -> + multiplyInteger + 2 + (force + trace + (concatBuiltinStrings + (constr 1 + [ "(" + , (cse + (constr 1 + [ "," + , (cse + (constr 1 + [ "," + , (cse + c + (constr 1 + [ "," + , (cse + d + (constr 1 + [ "," + , (cse + e + (constr 1 + [ ")" + , (constr 0 + [ ]) ])) ])) ])) ])) ])) ])) + e)) + (cse a)) (force trace (concatBuiltinStrings - ((\len -> - go - (`$fEnumBool_$cenumFromTo` - 0 - (subtractInteger - len - 1))) - (lengthOfByteString s) - (constr 0 []))) - a)) - (force - trace - ((\x -> - concatBuiltinStrings - (`$fShowBuiltinByteString_$cshowsPrec` - 0 - x - (constr 0 []))) - x) - x)) - (fix1 - (\concatBuiltinStrings - ds -> - case - ds - [ "" - , (\x - ds -> - force - (case - ds - [ (delay x) - , (\ipv - ipv -> - delay - (case - ((\n -> - force - (force - ifThenElse - (lessThanEqualsInteger - n - 0) - (delay - (constr 0 - [ (constr 0 - [ ]) - , ds ])) - (delay - (force - go - n - ds)))) - (divideInteger - (go - ds) - 2)) - [ (\ipv - ipv -> - appendString - (concatBuiltinStrings - ipv) - (concatBuiltinStrings - ipv)) ])) ])) ]))) - (fix1 - (\go ds -> - force - (case - ds - [ (delay 0) - , (\x xs -> - delay - (addInteger - 1 - (go xs))) ])))) - (fix1 - (\go - arg -> - delay - (\ds - ds -> - force - (case - ds - [ (delay - (constr 0 - [ (constr 0 []) - , (constr 0 []) ])) - , (\y - ys -> - delay - (force - (force - ifThenElse - (equalsInteger - 1 - ds) - (delay - (constr 0 - [ (constr 1 - [ y - , (constr 0 - [ ]) ]) - , ys ])) - (delay - (case - (force - (go - (delay - (\x -> - x))) - (subtractInteger - ds - 1) - ys) - [ (\zs - ws -> - constr 0 - [ (constr 1 - [ y - , zs ]) - , ws ]) ]))))) ]))) - (delay (\x -> x)))) + ((\go -> + constr 1 + [ "[" + , (cse + a + (go + (constr 1 + [ a + , (constr 1 + [ c + , (constr 1 + [ d + , (constr 0 + [ ]) ]) ]) ]) + (constr 1 + [ "]" + , (constr 0 + [ ]) ]))) ]) + (fix1 + (\go + ds -> + force + (case + ds + [ (delay + (\x -> + x)) + , (\x + xs -> + delay + ((\acc + eta -> + constr 1 + [ "," + , (cse + x + (acc + eta)) ]) + (go + xs))) ]))))) + d)) + (`$fShowBuiltinByteString_$cshowsPrec` + 0)) + (force trace + (force ifThenElse + (lessThanEqualsInteger c 0) + "False" + "True") + c)) + (force trace + (concatBuiltinStrings + (go + (`$fEnumBool_$cenumFromTo` 0 17) + (constr 0 []))) + a)) + (force + trace + ((\x -> + concatBuiltinStrings + (`$fShowBuiltinByteString_$cshowsPrec` + 0 + x + (constr 0 []))) + -1234567890) + -1234567890)) (fix1 - (\`$fEnumBool_$cenumFromTo` x lim -> - force - (force ifThenElse - (lessThanEqualsInteger x lim) - (delay - (constr 1 - [ x - , (`$fEnumBool_$cenumFromTo` - (addInteger 1 x) - lim) ])) - (delay (constr 0 [])))))) - -1234567890) + (\concatBuiltinStrings + ds -> + case + ds + [ "" + , (\x + ds -> + force + (case + ds + [ (delay x) + , (\ipv + ipv -> + delay + (case + ((\n -> + force + (force + ifThenElse + (lessThanEqualsInteger + n + 0) + (delay + (constr 0 + [ (constr 0 + [ ]) + , ds ])) + (delay + (force + go + n + ds)))) + (divideInteger + (go ds) + 2)) + [ (\ipv + ipv -> + appendString + (concatBuiltinStrings + ipv) + (concatBuiltinStrings + ipv)) ])) ])) ]))) + (fix1 + (\go ds -> + force + (case + ds + [ (delay 0) + , (\x xs -> + delay (addInteger 1 (go xs))) ])))) (fix1 - (\go ds -> - force - (case - ds - [ (delay (\x -> x)) - , (\x xs -> - delay - ((\acc eta -> - (\x eta -> - toHex - (divideInteger x 16) - (toHex - (modInteger x 16) - eta)) - (indexByteString s x) - (acc eta)) - (go xs))) ])))) - (\x -> + (\go + arg -> + delay + (\ds + ds -> + force + (case + ds + [ (delay + (constr 0 + [ (constr 0 []) + , (constr 0 []) ])) + , (\y + ys -> + delay + (force + (force + ifThenElse + (equalsInteger 1 ds) + (delay + (constr 0 + [ (constr 1 + [ y + , (constr 0 + []) ]) + , ys ])) + (delay + (case + (force + (go + (delay + (\x -> + x))) + (subtractInteger + ds + 1) + ys) + [ (\zs + ws -> + constr 0 + [ (constr 1 + [ y + , zs ]) + , ws ]) ]))))) ]))) + (delay (\x -> x)))) + (fix1 + (\`$fEnumBool_$cenumFromTo` x lim -> + force + (force ifThenElse + (lessThanEqualsInteger x lim) + (delay + (constr 1 + [ x + , (`$fEnumBool_$cenumFromTo` + (addInteger 1 x) + lim) ])) + (delay (constr 0 [])))))) + (fix1 + (\go + ds -> force + (case + ds + [ (delay (\x -> x)) + , (\x + xs -> + delay + ((\acc + eta -> + (\x eta -> + toHex + (divideInteger x 16) + (toHex (modInteger x 16) eta)) + (indexByteString + #5468697320697320616e206578616d706c65 + x) + (acc eta)) + (go xs))) ])))) + (\x -> + force + (force + ifThenElse + (lessThanEqualsInteger x 9) + (delay (`$fShowBuiltinByteString_$cshowsPrec` 0 x)) + (delay (force - ifThenElse - (lessThanEqualsInteger x 9) - (delay - (`$fShowBuiltinByteString_$cshowsPrec` 0 x)) - (delay - (force + (force + ifThenElse + (equalsInteger 10 x) + (delay (\ds -> constr 1 ["a", ds])) + (delay (force - ifThenElse - (equalsInteger 10 x) - (delay (\ds -> constr 1 ["a", ds])) - (delay - (force + (force + ifThenElse + (equalsInteger 11 x) + (delay (\ds -> constr 1 ["b", ds])) + (delay (force - ifThenElse - (equalsInteger 11 x) - (delay - (\ds -> constr 1 ["b", ds])) - (delay - (force + (force + ifThenElse + (equalsInteger 12 x) + (delay + (\ds -> + constr 1 ["c", ds])) + (delay (force - ifThenElse - (equalsInteger 12 x) - (delay - (\ds -> - constr 1 - ["c", ds])) - (delay - (force + (force + ifThenElse + (equalsInteger + 13 + x) + (delay + (\ds -> + constr 1 + ["d", ds])) + (delay (force - ifThenElse - (equalsInteger - 13 - x) - (delay - (\ds -> - constr 1 - [ "d" - , ds ])) - (delay - (force + (force + ifThenElse + (equalsInteger + 14 + x) + (delay + (\ds -> + constr 1 + [ "e" + , ds ])) + (delay (force ifThenElse (equalsInteger - 14 + 15 x) - (delay - (\ds -> - constr 1 - [ "e" - , ds ])) - (delay - (force - ifThenElse - (equalsInteger - 15 - x) - (\ds -> - constr 1 - [ "f" - , ds ]) - (\ds -> - constr 1 - [ "" - , ds ]))))))))))))))))))))) - #5468697320697320616e206578616d706c65) - (fix1 - (\`$fShowBuiltinByteString_$cshowsPrec` p n -> - force - (force ifThenElse - (lessThanInteger n 0) - (delay - (\eta -> - constr 1 - [ "-" - , (`$fShowBuiltinByteString_$cshowsPrec` - p - (subtractInteger 0 n) - eta) ])) - (delay (go (go (constr 0 []) n))))))) + (\ds -> + constr 1 + [ "f" + , ds ]) + (\ds -> + constr 1 + [ "" + , ds ]))))))))))))))))))))) (fix1 - (\go - ds -> + (\`$fShowBuiltinByteString_$cshowsPrec` p n -> force - (case - ds - [ (delay (\x -> x)) - , (\x - xs -> - delay - ((\acc - eta -> - constr 1 - [ (force - (force - ifThenElse - (equalsInteger 0 x) - (delay "0") - (delay + (force ifThenElse + (lessThanInteger n 0) + (delay + (\eta -> + constr 1 + [ "-" + , (`$fShowBuiltinByteString_$cshowsPrec` + p + (subtractInteger 0 n) + eta) ])) + (delay (go (go (constr 0 []) n))))))) + (fix1 + (\go + ds -> + force + (case + ds + [ (delay (\x -> x)) + , (\x + xs -> + delay + ((\acc + eta -> + constr 1 + [ (force + (force + ifThenElse + (equalsInteger 0 x) + (delay "0") + (delay + (force (force - (force - ifThenElse - (equalsInteger 1 x) - (delay "1") - (delay + ifThenElse + (equalsInteger 1 x) + (delay "1") + (delay + (force (force - (force - ifThenElse - (equalsInteger - 2 - x) - (delay "2") - (delay + ifThenElse + (equalsInteger 2 x) + (delay "2") + (delay + (force (force - (force - ifThenElse - (equalsInteger - 3 - x) - (delay - "3") - (delay + ifThenElse + (equalsInteger + 3 + x) + (delay + "3") + (delay + (force (force - (force - ifThenElse - (equalsInteger - 4 - x) - (delay - "4") - (delay + ifThenElse + (equalsInteger + 4 + x) + (delay + "4") + (delay + (force (force - (force - ifThenElse - (equalsInteger - 5 - x) - (delay - "5") - (delay + ifThenElse + (equalsInteger + 5 + x) + (delay + "5") + (delay + (force (force - (force - ifThenElse - (equalsInteger - 6 - x) - (delay - "6") - (delay + ifThenElse + (equalsInteger + 6 + x) + (delay + "6") + (delay + (force (force - (force - ifThenElse - (equalsInteger - 7 - x) - (delay - "7") - (delay + ifThenElse + (equalsInteger + 7 + x) + (delay + "7") + (delay + (force (force - (force - ifThenElse - (equalsInteger - 8 - x) - (delay - "8") - (delay - (force - ifThenElse - (equalsInteger - 9 - x) - "9" - "")))))))))))))))))))))))))))) - , (acc eta) ]) - (go xs))) ])))) - (fix1 - (\go acc n -> - (\x -> - force - (force ifThenElse - (equalsInteger 0 x) - (delay (constr 1 [(remainderInteger n y), acc])) - (delay - (go (constr 1 [(remainderInteger n y), acc]) x)))) - (quotientInteger n y)))) - 10) + ifThenElse + (equalsInteger + 8 + x) + (delay + "8") + (delay + (force + ifThenElse + (equalsInteger + 9 + x) + "9" + "")))))))))))))))))))))))))))) + , (acc eta) ]) + (go xs))) ])))) + (fix1 + (\go acc n -> + (\x -> + force + (force ifThenElse + (equalsInteger 0 x) + (delay (constr 1 [(remainderInteger n 10), acc])) + (delay (go (constr 1 [(remainderInteger n 10), acc]) x)))) + (quotientInteger n 10)))) (\f -> (\s -> s s) (\s x -> f (s s) x))) \ No newline at end of file diff --git a/plutus-tx-plugin/test/Budget/9.6/toFromData.eval.golden b/plutus-tx-plugin/test/Budget/9.6/toFromData.eval.golden index 9f6495e17c3..4fd0955fdac 100644 --- a/plutus-tx-plugin/test/Budget/9.6/toFromData.eval.golden +++ b/plutus-tx-plugin/test/Budget/9.6/toFromData.eval.golden @@ -1,2 +1,2 @@ -({cpu: 11166021 -| mem: 30436}) \ No newline at end of file +({cpu: 10528181 +| mem: 28440}) \ No newline at end of file diff --git a/plutus-tx-plugin/test/Budget/9.6/toFromData.pir.golden b/plutus-tx-plugin/test/Budget/9.6/toFromData.pir.golden index ea806d63c79..8acd60f2798 100644 --- a/plutus-tx-plugin/test/Budget/9.6/toFromData.pir.golden +++ b/plutus-tx-plugin/test/Budget/9.6/toFromData.pir.golden @@ -10,13 +10,11 @@ let data (Maybe :: * -> *) a | Maybe_match where Just : a -> Maybe a Nothing : Maybe a - !reconstructCaseError : string = "PT1" data Unit | Unit_match where Unit : Unit !traceError : all a. string -> a = /\a -> \(str : string) -> let !x : Unit = trace {Unit} str Unit in error {a} - !unitval : unit = () !d : data = (let b = Maybe (Tuple3 Bool integer Bool) @@ -30,13 +28,8 @@ let ds {data} (\(arg : integer) -> - constrData - 0 - (mkCons {data} (`$dToData` arg) (mkNilData unitval))) - (\(arg : b) -> - constrData - 1 - (mkCons {data} (`$dToData` arg) (mkNilData unitval)))) + constrData 0 (mkCons {data} (`$dToData` arg) [])) + (\(arg : b) -> constrData 1 (mkCons {data} (`$dToData` arg) []))) (\(i : integer) -> iData i) ((let a = Tuple3 Bool integer Bool @@ -47,11 +40,8 @@ let ds {all dead. data} (\(arg : a) -> - /\dead -> - constrData - 0 - (mkCons {data} (`$dToData` arg) (mkNilData unitval))) - (/\dead -> constrData 1 (mkNilData unitval)) + /\dead -> constrData 0 (mkCons {data} (`$dToData` arg) [])) + (/\dead -> Constr 1 []) {all dead. dead}) (\(ds : Tuple3 Bool integer Bool) -> Tuple3_match @@ -68,8 +58,8 @@ let (Bool_match arg {all dead. data} - (/\dead -> constrData 1 (mkNilData unitval)) - (/\dead -> constrData 0 (mkNilData unitval)) + (/\dead -> Constr 1 []) + (/\dead -> Constr 0 []) {all dead. dead}) (mkCons {data} @@ -79,10 +69,10 @@ let (Bool_match arg {all dead. data} - (/\dead -> constrData 1 (mkNilData unitval)) - (/\dead -> constrData 0 (mkNilData unitval)) + (/\dead -> Constr 1 []) + (/\dead -> Constr 0 []) {all dead. dead}) - (mkNilData unitval))))))) + [])))))) (Right {integer} {Maybe (Tuple3 Bool integer Bool)} @@ -111,7 +101,7 @@ in (equalsInteger 1 index) (/\dead -> Right {integer} {b} (`$dUnsafeFromData` (headList {data} args))) - (/\dead -> traceError {Either integer b} reconstructCaseError) + (/\dead -> traceError {Either integer b} "PT1") {all dead. dead}) {all dead. dead}) unIData @@ -133,7 +123,7 @@ in {all dead. Maybe a} (equalsInteger 0 index) (/\dead -> Just {a} (`$dUnsafeFromData` (headList {data} args))) - (/\dead -> traceError {Maybe a} reconstructCaseError) + (/\dead -> traceError {Maybe a} "PT1") {all dead. dead}) {all dead. dead}) (\(d : data) -> @@ -168,7 +158,7 @@ in {all dead. Bool} (equalsInteger 1 index) (/\dead -> True) - (/\dead -> traceError {Bool} reconstructCaseError) + (/\dead -> traceError {Bool} "PT1") {all dead. dead}) {all dead. dead}) (unIData (headList {data} l)) @@ -187,9 +177,9 @@ in {all dead. Bool} (equalsInteger 1 index) (/\dead -> True) - (/\dead -> traceError {Bool} reconstructCaseError) + (/\dead -> traceError {Bool} "PT1") {all dead. dead}) {all dead. dead})) - (/\dead -> traceError {Tuple3 Bool integer Bool} reconstructCaseError) + (/\dead -> traceError {Tuple3 Bool integer Bool} "PT1") {all dead. dead})) d \ No newline at end of file diff --git a/plutus-tx-plugin/test/Budget/9.6/toFromData.uplc.golden b/plutus-tx-plugin/test/Budget/9.6/toFromData.uplc.golden index f1cd0d42aa7..2eaef3eabab 100644 --- a/plutus-tx-plugin/test/Budget/9.6/toFromData.uplc.golden +++ b/plutus-tx-plugin/test/Budget/9.6/toFromData.uplc.golden @@ -1,177 +1,172 @@ program 1.1.0 ((\traceError -> - (\reconstructCaseError - d -> - (\tup -> - (\index -> - (\args -> - force - (force - ifThenElse - (equalsInteger 0 index) - (delay (constr 0 [(unIData (force headList args))])) - (delay + (\tup -> + (\index -> + (\args -> + force + (force + ifThenElse + (equalsInteger 0 index) + (delay (constr 0 [(unIData (force headList args))])) + (delay + (force (force - (force - ifThenElse - (equalsInteger 1 index) - (delay - (constr 1 - [ ((\tup -> - (\index -> - (\args -> - force - (force - ifThenElse - (equalsInteger 1 index) - (delay (constr 1 [])) - (delay + ifThenElse + (equalsInteger 1 index) + (delay + (constr 1 + [ ((\tup -> + (\index -> + (\args -> + force + (force + ifThenElse + (equalsInteger 1 index) + (delay (constr 1 [])) + (delay + (force (force - (force - ifThenElse - (equalsInteger - 0 - index) - (delay - (constr 0 - [ ((\tup -> - (\index -> - (\args -> - force - (force - ifThenElse - (equalsInteger - 0 - index) - (delay - ((\l -> - constr 0 - [ ((\tup -> - (\index -> - (\args -> - force - (force - ifThenElse - (equalsInteger - 0 - index) - (delay - (constr 1 - [ ])) - (delay - (force - (force - ifThenElse - (equalsInteger - 1 - index) - (delay - (constr 0 - [ ])) - (delay - (traceError - reconstructCaseError))))))) + ifThenElse + (equalsInteger + 0 + index) + (delay + (constr 0 + [ ((\tup -> + (\index -> + (\args -> + force + (force + ifThenElse + (equalsInteger + 0 + index) + (delay + ((\l -> + constr 0 + [ ((\tup -> + (\index -> + (\args -> + force (force - (force - sndPair) - tup)) + ifThenElse + (equalsInteger + 0 + index) + (delay + (constr 1 + [ ])) + (delay + (force + (force + ifThenElse + (equalsInteger + 1 + index) + (delay + (constr 0 + [ ])) + (delay + (traceError + "PT1"))))))) (force (force - fstPair) + sndPair) tup)) - (unConstrData + (force (force - headList - args))) - , (unIData + fstPair) + tup)) + (unConstrData (force headList - l)) - , ((\tup -> - (\index -> - (\args -> - force - (force - ifThenElse - (equalsInteger - 0 - index) - (delay - (constr 1 - [ ])) - (delay - (force - (force - ifThenElse - (equalsInteger - 1 - index) - (delay - (constr 0 - [ ])) - (delay - (traceError - reconstructCaseError))))))) + args))) + , (unIData + (force + headList + l)) + , ((\tup -> + (\index -> + (\args -> + force (force - (force - sndPair) - tup)) + ifThenElse + (equalsInteger + 0 + index) + (delay + (constr 1 + [ ])) + (delay + (force + (force + ifThenElse + (equalsInteger + 1 + index) + (delay + (constr 0 + [ ])) + (delay + (traceError + "PT1"))))))) (force (force - fstPair) + sndPair) tup)) - (unConstrData + (force (force - headList - (force - tailList - l)))) ]) - (force - tailList - args))) - (delay - (traceError - reconstructCaseError)))) - (force - (force - sndPair) - tup)) + fstPair) + tup)) + (unConstrData + (force + headList + (force + tailList + l)))) ]) + (force + tailList + args))) + (delay + (traceError + "PT1")))) (force (force - fstPair) + sndPair) tup)) - (unConstrData + (force (force - headList - args))) ])) - (delay - (traceError - reconstructCaseError))))))) - (force (force sndPair) tup)) - (force (force fstPair) tup)) - (unConstrData - (force headList args))) ])) - (delay (traceError reconstructCaseError))))))) - (force (force sndPair) tup)) - (force (force fstPair) tup)) - (unConstrData d)) - "PT1") - (\str -> (\x -> error) (force trace str (constr 0 []))) - ((\cse -> - constrData - 1 - (force mkCons - (constrData - 0 - (force mkCons - (constrData - 0 - (force mkCons - (constrData 1 cse) + fstPair) + tup)) + (unConstrData + (force + headList + args))) ])) + (delay + (traceError + "PT1"))))))) + (force (force sndPair) tup)) + (force (force fstPair) tup)) + (unConstrData + (force headList args))) ])) + (delay (traceError "PT1"))))))) + (force (force sndPair) tup)) + (force (force fstPair) tup)) + (unConstrData + (constrData + 1 + (force mkCons + (constrData + 0 + (force mkCons + (constrData + 0 (force mkCons - (iData 1) - (force mkCons (constrData 0 cse) cse)))) - cse)) - cse)) - (mkNilData ()))) \ No newline at end of file + (Constr 1 []) + (force mkCons + (iData 1) + (force mkCons (Constr 0 []) [])))) + [])) + [])))) + (\str -> (\x -> error) (force trace str (constr 0 [])))) \ No newline at end of file diff --git a/plutus-tx-plugin/test/Optimization/9.6/unsafeDeconstructData.pir.golden b/plutus-tx-plugin/test/Optimization/9.6/unsafeDeconstructData.pir.golden index d70235269fc..86b101ec447 100644 --- a/plutus-tx-plugin/test/Optimization/9.6/unsafeDeconstructData.pir.golden +++ b/plutus-tx-plugin/test/Optimization/9.6/unsafeDeconstructData.pir.golden @@ -7,7 +7,6 @@ let data (Maybe :: * -> *) a | Maybe_match where Just : a -> Maybe a Nothing : Maybe a - !reconstructCaseError : string = "PT1" data Unit | Unit_match where Unit : Unit !traceError : all a. string -> a @@ -33,7 +32,7 @@ in {all dead. Maybe a} (equalsInteger 0 index) (/\dead -> Just {a} (`$dUnsafeFromData` (headList {data} args))) - (/\dead -> traceError {Maybe a} reconstructCaseError) + (/\dead -> traceError {Maybe a} "PT1") {all dead. dead}) {all dead. dead}) (\(d : data) -> @@ -51,6 +50,6 @@ in {integer} (unIData (headList {data} args)) (unIData (headList {data} (tailList {data} args)))) - (/\dead -> traceError {Tuple2 integer integer} reconstructCaseError) + (/\dead -> traceError {Tuple2 integer integer} "PT1") {all dead. dead}) ds \ No newline at end of file diff --git a/plutus-tx-plugin/test/size/abs-specialized.size.golden b/plutus-tx-plugin/test/size/abs-specialized.size.golden index d99e90eb967..978b4e8e518 100644 --- a/plutus-tx-plugin/test/size/abs-specialized.size.golden +++ b/plutus-tx-plugin/test/size/abs-specialized.size.golden @@ -1 +1 @@ -29 \ No newline at end of file +26 \ No newline at end of file diff --git a/plutus-tx-plugin/test/size/fromBuiltinData.size.golden b/plutus-tx-plugin/test/size/fromBuiltinData.size.golden index 235adf8bd8f..387c46fdec8 100644 --- a/plutus-tx-plugin/test/size/fromBuiltinData.size.golden +++ b/plutus-tx-plugin/test/size/fromBuiltinData.size.golden @@ -1 +1 @@ -349 \ No newline at end of file +346 \ No newline at end of file diff --git a/plutus-tx-plugin/test/size/one.size.golden b/plutus-tx-plugin/test/size/one.size.golden index 62f9457511f..e440e5c8425 100644 --- a/plutus-tx-plugin/test/size/one.size.golden +++ b/plutus-tx-plugin/test/size/one.size.golden @@ -1 +1 @@ -6 \ No newline at end of file +3 \ No newline at end of file diff --git a/plutus-tx-plugin/test/size/ratio.size.golden b/plutus-tx-plugin/test/size/ratio.size.golden index 12e25559197..4a8d924028a 100644 --- a/plutus-tx-plugin/test/size/ratio.size.golden +++ b/plutus-tx-plugin/test/size/ratio.size.golden @@ -1 +1 @@ -177 \ No newline at end of file +174 \ No newline at end of file diff --git a/plutus-tx-plugin/test/size/recip.size.golden b/plutus-tx-plugin/test/size/recip.size.golden index 2e66562e270..abc4eff6ac8 100644 --- a/plutus-tx-plugin/test/size/recip.size.golden +++ b/plutus-tx-plugin/test/size/recip.size.golden @@ -1 +1 @@ -49 \ No newline at end of file +46 \ No newline at end of file diff --git a/plutus-tx-plugin/test/size/round.size.golden b/plutus-tx-plugin/test/size/round.size.golden index f3a5e81bae4..80060720898 100644 --- a/plutus-tx-plugin/test/size/round.size.golden +++ b/plutus-tx-plugin/test/size/round.size.golden @@ -1 +1 @@ -281 \ No newline at end of file +272 \ No newline at end of file diff --git a/plutus-tx-plugin/test/size/unsafeFromBuiltinData.size.golden b/plutus-tx-plugin/test/size/unsafeFromBuiltinData.size.golden index 66321c084ca..cb37cb5c1fb 100644 --- a/plutus-tx-plugin/test/size/unsafeFromBuiltinData.size.golden +++ b/plutus-tx-plugin/test/size/unsafeFromBuiltinData.size.golden @@ -1 +1 @@ -189 \ No newline at end of file +186 \ No newline at end of file diff --git a/plutus-tx-plugin/test/size/unsafeRatio.size.golden b/plutus-tx-plugin/test/size/unsafeRatio.size.golden index 95c8a676e9d..97e35041104 100644 --- a/plutus-tx-plugin/test/size/unsafeRatio.size.golden +++ b/plutus-tx-plugin/test/size/unsafeRatio.size.golden @@ -1 +1 @@ -113 \ No newline at end of file +110 \ No newline at end of file