fix(primitives): Fix overflow on cost model

txpipe · Aug 8, 2022 · 3c96118 · 3c96118
1 parent 69644d4
commit 3c96118
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/pallas-primitives/src/alonzo/model.rs b/pallas-primitives/src/alonzo/model.rs
@@ -636,7 +636,7 @@ pub enum Language {
     PlutusV1,
 }
 
-pub type CostModel = MaybeIndefArray<i32>;
+pub type CostModel = MaybeIndefArray<i64>;
 
 pub type CostMdls = KeyValuePairs<Language, CostModel>;
 

diff --git a/pallas-primitives/src/babbage/model.rs b/pallas-primitives/src/babbage/model.rs
@@ -595,6 +595,8 @@ mod tests {
             include_str!("../../../test_data/babbage3.block"),
             // peculiar block with single plutus cost model
             include_str!("../../../test_data/babbage4.block"),
+            // peculiar block with i32 overlfow
+            include_str!("../../../test_data/babbage5.block"),
         ];
 
         for (idx, block_str) in test_blocks.iter().enumerate() {

diff --git a/test_data/babbage5.block b/test_data/babbage5.block
@@ -0,0 +1 @@
+820685828a1a0038caf51a03cfd510582000d2b486bb8ea87b5a6f9c8553696ca1f4c59f5080646bb36c723156e7a4547f58208a02cfb2a0d4b805231e8397311f06c4a02d504ce5ce718ddccdd7661e0291cb5820c84bbd7c0048a755c72b632875c2039a634bd6b0d6c9cbbbd809ea59b78ada7a82584007325f798354094670eddaf1fa3ec14837690f9b36110b42f0c7f949fb4592e77f1f26f49e9547b857ed04bc29e32f6c86649e0af800893299d666070e4ff39758505160e02096d3a2a01fbe640b29fe561f4007a47a7427d5cf6942d218360618afdebb240e432a0b25aac83098e175545ee638850516354802256aa0ff81a1f9394a6ae8b8ddeea58673aee5c06e2ade04191f2f58208d6f5d3ed9181bfe73f6815e9d7963f2696a224de351020e40dd8c03181265b08458206a1536ff6d05479eda8e73987ad22680c97d52014ea64f574f936b57ef2ab1d1081901b95840ec6f5c9f5339ce765266b82afa1d55ea6421528ef99cb920d54d62c7ab0fa9f3ce90d20ad2a4fcdec7dc3fb528862b4a65016f51f395e2978f4087d416aa690f8207005901c03f0f4493097f82582e9daecd2d35391c72e88cb37de3d06872724fbe7d73230b63a10d2ed2ed23de7170bc5cb7e52a8cdfc4527e7f5359ffc5bd743b805ca406c7253d5e24b0fde69b3b89b836335e7284a8bcbdf88d7f33073414fcc0562a41a82d548f7d46b982ea3d17d81f2603dac651797247c390c90736d8b84b5f237c51f1499bb8378a7873896faa86a3ef9f6863a81223e100c84c0eb4b2a53e3562d0520a85bb2a4376eba8238195d09e32ac44820645b39e86ccadcea7312e32bf38b4e9622897ed3018c8a19776b61fbcc647fa3840aab822a6a74c565d4277e58d41088ceba5691ab4c0cfe38d4b2a374c06e5b037c403e502153554b0c7d04c7740c14c8c65139b40e8f56242821d423bf367cd253e18a305ff251807d0a357c1058ccd9fa2149700a52927769bb909c0b346ed8fbf6e9ee2d86a393c21ad8d6eccf077de215f0a7b78b266dd34e8e2610b3584ea2a8af6c6ec11aca117e6d7aa2ba9439a2469aed752e564b1ac6c39371c56ee018f2736fbb69492e817a1df715f865ad3916a34c10c65e91bf1f138fb88e4ca8919d890512b8a4679d8dcee6530e59027069fdef81aa5dbc8742fe0a611df33866d040081cb79b2a309e1e182a40081825820fb563e9d82ab0e29996cbb0a312a40f66d0931ca09a11d7bbcb6b4c93981fd7301018282583900837cd0e1a816c1d31447345eb860b7a7522541efaea97dbb5d9cfe256784f0e5347f93fe936eda887413229875880fc1bc4f27bf45ea52271a017d7840825839009b30cc1111f465a616796c636fbaa8ff5bc572140101c4819afec3f04a56cce782bfe353525b57d009b35ad8f626c7763095169a35d982a8821a23f63441a1581cfda1b6b487bee2e7f64ecf24d24b1224342484c0195ee1b7b943db50a24674424c5545531b00005980152d34504b41697264726f70546573741b00001fdbc37a7289021a00029d85031a03cfff22a4008182582001de13fd56564fa995cfcf63771a5b0e88e692f2902f225f94c7e172e10cc2d0000181a200581d60daad04ed2b7f69e2a9be582e37091739fa036a14c1c22f88061d43c7011a2868941b021a00077e050682a7581c0d06d2547ed371fdf95fb5c4c735eecdd53e6a5bb831561bd0fcfd3da112a20098a61a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0a0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201b00000004a817c8001b00000004a817c8001a009063b91903fd0a1b00000004a817c800001b00000004a817c800581c2f56e87d67b8e5216582cfeb95dbdc9083110a3ef68faaa51bef3a80a112a20098a61a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0a0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201b00000004a817c8001b00000004a817c8001a009063b91903fd0a1b00000004a817c800001b00000004a817c800581c2fca486b4d8f1a0432f5bf18ef473ee4294c795a1a32e3132bc6b90fa112a20098a61a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0a0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201b00000004a817c8001b00000004a817c8001a009063b91903fd0a1b00000004a817c800001b00000004a817c800581c4ee98623920698b77c1c7f77288cbdac5f9011ff8970b1f507567d0da112a20098a61a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0a0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201b00000004a817c8001b00000004a817c8001a009063b91903fd0a1b00000004a817c800001b00000004a817c800581c514e81afb082fce01678809eebd90eda4f7918354ec7d0433ad16274a112a20098a61a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0a0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201b00000004a817c8001b00000004a817c8001a009063b91903fd0a1b00000004a817c800001b00000004a817c800581c581e23030b6038bae716e5d64b9e053db10541b12e6b0b4eff485454a112a20098a61a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0a0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201b00000004a817c8001b00000004a817c8001a009063b91903fd0a1b00000004a817c800001b00000004a817c800581ce5f27655371b54aed91cc916b2569060978be80056768fee2cc5ce1ba112a20098a61a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0a0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201b00000004a817c8001b00000004a817c8001a009063b91903fd0a1b00000004a817c800001b00000004a817c80018da82a10081825820eadaab25da9ce404cd90b8cc4c9321ed506fa799fcdfddeeae1a2500702c021658404e06736b87a4ebaccc3d4815bc379675bd837bad2a902f2340b32574e9f7aa23c06a49904d9f72574571f7f3abd6d49e7a499e7766fcb86c8c2bb637ade6c806a1008882582032a954b521c0b19514408965831ef6839637de7a1a6168bcf8455c504ba93b9c5840a453b26a8d92606780e85efeb74c51d859258d3d62ab06f5c89722b8ff08028ea0bf869c34bbdfbdbefe43bc31713aae0c632b43b9f24bf5e9e50e752c2722058258207ec249d890d0aaf9a81207960c163ae2d6ac5e715ca6b96d5860e50d9f2b2b2a58407225930ba0764bfa52a5ccd976e584c3581cb9332aac8ff1173129b00be7b699920c387549554f9f8f73f3673ee3599dde43e290988f131771a7705f17913f0b8258204f4d7523e41e058a6cbdefb5538654ffc2a53416a7f5bb99f7eac699d42d5c1f5840554c0a34717015b5353277e66f10ba51e1070160752baf7525fb4de3285e16e8c81e4134b4f3b080910aa698e0bff488597c846cb896a07860b30e6bb917ce07825820e764b0340d7b353f5f745891033774e4beab6aa1458a54ff29a1324c05bb987658402866d54aaaa8820746483e82c08708a39445c5f650fec72428deb0d68e2bfc87a1dba87e599ea4e19f1799dcd8f086f9598e4af5c49ced31f395466f2a74270282582073ae41eca2be37fc15c55a50d668c8647e10bf222172c2d58abfa6e9310e596258408e852431009c2e1330d4c6ccd81332a7cf0532c3735f7484c45f947c9f70adbc987e2c57cd183b5b66c8aca02b64f9d673e165be5471e95107918a2b42d63b0f825820234fb2b8530114b461c6ca8242c8b86a226c95c4c27479ca850d1aea4a52d2985840587ad7297e14de609694b2a7b602ddb5e349ea412010555b927383e6c6ffae5a897f0793f7f47c45ad3ce391ede2c40f12cb8e91922f5c384b77ba6f5748db04825820dfb615a61568d6867f45a85c32227f27025180d738a8a3d7fd3c929f624d723958404ce6524d64d96fce0f663afc3842291888fb1f21abec1a13aad5d93c75161a754d57b7cb664b00bfdf06f4f0dafec5b4957c8389d0d2b334fbc224c76e971f0c825820e5bc21a83616bcccfe343ec36b9dc4c06c90e913df1d8a0b046008651f42caa9584060ad0da3cc9159db83c0e6ec672880a11dc840d4762d8d982f218d947fd1a262d2a51e6290e0fa3f4f871c87cdf9f0d95a7605a0806fbbdf3c3a23382d61a20da080