From 4dd2ab03de4f447a701949efcd0d45805346b996 Mon Sep 17 00:00:00 2001 From: kkawula Date: Tue, 14 Jan 2025 17:57:51 +0100 Subject: [PATCH] Add support for sierra 1.7.0 commit-id:b4493f44 --- .spr.yml | 12 ++ Cargo.lock | 174 ++++++++++++++----- Cargo.toml | 8 +- README.md | 1 + src/commands/compile_contract.rs | 2 +- tests/data/sierra_contract/sierra_1_7_0.json | 1 + tests/data/sierra_raw/sierra_1_7_0.json | 1 + tests/e2e/compile_contract.rs | 1 + tests/e2e/compile_raw.rs | 1 + tests/integration/compile_contract.rs | 1 + tests/integration/compile_raw.rs | 1 + 11 files changed, 154 insertions(+), 49 deletions(-) create mode 100644 .spr.yml create mode 100644 tests/data/sierra_contract/sierra_1_7_0.json create mode 100644 tests/data/sierra_raw/sierra_1_7_0.json diff --git a/.spr.yml b/.spr.yml new file mode 100644 index 0000000..63f6206 --- /dev/null +++ b/.spr.yml @@ -0,0 +1,12 @@ +githubRepoOwner: software-mansion +githubRepoName: universal-sierra-compiler +githubHost: github.com +githubRemote: origin +githubBranch: master +requireChecks: true +requireApproval: true +mergeMethod: rebase +mergeQueue: false +forceFetchTags: false +showPrTitlesInStack: false +branchPushIndividually: false diff --git a/Cargo.lock b/Cargo.lock index 943b3ad..76aae37 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -251,11 +251,11 @@ dependencies = [ [[package]] name = "cairo-lang-casm" -version = "2.7.0" +version = "2.10.0-rc.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4a43421bf72645b3a562d264747166d6f093e960a69dfa38b67bb3209e370366" +checksum = "31a9a437bd4015a0f888d0de9876fd4786eb24b4e17b25c86c53980865980f9d" dependencies = [ - "cairo-lang-utils 2.7.0", + "cairo-lang-utils 2.10.0-rc.0", "indoc 2.0.5", "num-bigint", "num-traits 0.2.19", @@ -407,11 +407,11 @@ dependencies = [ [[package]] name = "cairo-lang-eq-solver" -version = "2.7.0" +version = "2.10.0-rc.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "eaa8ac24c97770739f5a78d630b8515273c8b9f4aff34e1f88b988fac50340de" +checksum = "33c5f879bca42caef7e06f1de022d6961d36c5567db600faed8a947e2b705eaa" dependencies = [ - "cairo-lang-utils 2.7.0", + "cairo-lang-utils 2.10.0-rc.0", "good_lp", ] @@ -706,12 +706,12 @@ dependencies = [ [[package]] name = "cairo-lang-sierra" -version = "2.7.0" +version = "2.10.0-rc.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "918fb0611203fb8cdd1fcdb434f395a59e0ebb0db64b11a0e15bfbfb03552821" +checksum = "74c0e4951ecd88023856e0faa9fd444647d9f1ec69ca09dfa8e3aebf9d2afdef" dependencies = [ "anyhow", - "cairo-lang-utils 2.7.0", + "cairo-lang-utils 2.10.0-rc.0", "const-fnv1a-hash", "convert_case", "derivative", @@ -721,9 +721,8 @@ dependencies = [ "num-bigint", "num-integer", "num-traits 0.2.19", - "once_cell", "regex", - "salsa", + "rust-analyzer-salsa", "serde", "serde_json", "sha3", @@ -759,14 +758,14 @@ dependencies = [ [[package]] name = "cairo-lang-sierra-ap-change" -version = "2.7.0" +version = "2.10.0-rc.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7fa1834ec729e89fcbd00df03f2a64a18515fcf07eb18dfef39afe020a10955d" +checksum = "9ea9c51356e603fa38fcbd4524d19e391ac25e89e64889c3a4ef849de3d1e911" dependencies = [ - "cairo-lang-eq-solver 2.7.0", - "cairo-lang-sierra 2.7.0", + "cairo-lang-eq-solver 2.10.0-rc.0", + "cairo-lang-sierra 2.10.0-rc.0", "cairo-lang-sierra-type-size", - "cairo-lang-utils 2.7.0", + "cairo-lang-utils 2.10.0-rc.0", "itertools 0.12.1", "num-bigint", "num-traits 0.2.19", @@ -800,14 +799,14 @@ dependencies = [ [[package]] name = "cairo-lang-sierra-gas" -version = "2.7.0" +version = "2.10.0-rc.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6b00927d39f910dd5ae1047cef9b46b2ee11617d33d290f875bc00dfc7e3d992" +checksum = "1af17244a222fd2398caaf09e909f0b584abe14c77e1b5dc8f479ef35d1e8d50" dependencies = [ - "cairo-lang-eq-solver 2.7.0", - "cairo-lang-sierra 2.7.0", + "cairo-lang-eq-solver 2.10.0-rc.0", + "cairo-lang-sierra 2.10.0-rc.0", "cairo-lang-sierra-type-size", - "cairo-lang-utils 2.7.0", + "cairo-lang-utils 2.10.0-rc.0", "itertools 0.12.1", "num-bigint", "num-traits 0.2.19", @@ -912,17 +911,17 @@ dependencies = [ [[package]] name = "cairo-lang-sierra-to-casm" -version = "2.7.0" +version = "2.10.0-rc.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "67bd155770abf91d4290a31b0c0a1fb393ecee85eb0af40c16893b4601eff4d6" +checksum = "866e6cbba9e81bae1c2f6b8f8e718f702fee69980c3f22bdea1e4657f09a540c" dependencies = [ "assert_matches", - "cairo-lang-casm 2.7.0", - "cairo-lang-sierra 2.7.0", - "cairo-lang-sierra-ap-change 2.7.0", - "cairo-lang-sierra-gas 2.7.0", + "cairo-lang-casm 2.10.0-rc.0", + "cairo-lang-sierra 2.10.0-rc.0", + "cairo-lang-sierra-ap-change 2.10.0-rc.0", + "cairo-lang-sierra-gas 2.10.0-rc.0", "cairo-lang-sierra-type-size", - "cairo-lang-utils 2.7.0", + "cairo-lang-utils 2.10.0-rc.0", "indoc 2.0.5", "itertools 0.12.1", "num-bigint", @@ -933,12 +932,12 @@ dependencies = [ [[package]] name = "cairo-lang-sierra-type-size" -version = "2.7.0" +version = "2.10.0-rc.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fbae9458999da692c272501678b6cfec358a6bcadb54921bf35d21afdcd91251" +checksum = "f8e797aa2f4023e984d13c5adf7068688da665328da6b055842f50fb673fb48b" dependencies = [ - "cairo-lang-sierra 2.7.0", - "cairo-lang-utils 2.7.0", + "cairo-lang-sierra 2.10.0-rc.0", + "cairo-lang-utils 2.10.0-rc.0", ] [[package]] @@ -1023,20 +1022,19 @@ dependencies = [ [[package]] name = "cairo-lang-starknet-classes" -version = "2.7.0" +version = "2.10.0-rc.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "aa17b313f46fcf7ff4de32b86c250eaf584d1e2c8e37ed16db155b221721e735" +checksum = "b0f7b0c28430c9ad477c38dba089ac5a148443bbeaa77cc3f14980de255a220e" dependencies = [ - "cairo-lang-casm 2.7.0", - "cairo-lang-sierra 2.7.0", - "cairo-lang-sierra-to-casm 2.7.0", - "cairo-lang-utils 2.7.0", + "cairo-lang-casm 2.10.0-rc.0", + "cairo-lang-sierra 2.10.0-rc.0", + "cairo-lang-sierra-to-casm 2.10.0-rc.0", + "cairo-lang-utils 2.10.0-rc.0", "convert_case", "itertools 0.12.1", "num-bigint", "num-integer", "num-traits 0.2.19", - "once_cell", "serde", "serde_json", "sha3", @@ -1132,9 +1130,9 @@ dependencies = [ [[package]] name = "cairo-lang-utils" -version = "2.7.0" +version = "2.10.0-rc.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "8bd5c8c127b9362a12ffb9dede38e792c81b4ded5a98b448baec157b745f47d1" +checksum = "91b6546d9f285c7d4a2700c084f745c35e1884a1dc2e4fa54a71034cea5606aa" dependencies = [ "hashbrown 0.14.5", "indexmap 2.2.6", @@ -1514,6 +1512,12 @@ dependencies = [ "unicode-segmentation", ] +[[package]] +name = "heck" +version = "0.4.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "95505c38b4572b2d910cecb0281560f54b440a19336cbbcb27bf6ce6adc6f5a8" + [[package]] name = "heck" version = "0.5.0" @@ -2040,6 +2044,12 @@ version = "0.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "5be167a7af36ee22fe3115051bc51f6e6c7054c9348e28deb4f49bd6f705a315" +[[package]] +name = "pin-project-lite" +version = "0.2.16" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "3b3cff922bd51709b605d9ead9aa71031d81447142d828eb4a6eba76fe619f9b" + [[package]] name = "powerfmt" version = "0.2.0" @@ -2177,6 +2187,35 @@ version = "1.9.2" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "e898588f33fdd5b9420719948f9f2a32c922a246964576f71ba7f24f80610fbc" +[[package]] +name = "rust-analyzer-salsa" +version = "0.17.0-pre.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "719825638c59fd26a55412a24561c7c5bcf54364c88b9a7a04ba08a6eafaba8d" +dependencies = [ + "indexmap 2.2.6", + "lock_api", + "oorandom", + "parking_lot 0.12.1", + "rust-analyzer-salsa-macros", + "rustc-hash", + "smallvec", + "tracing", + "triomphe", +] + +[[package]] +name = "rust-analyzer-salsa-macros" +version = "0.17.0-pre.6" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "4d96498e9684848c6676c399032ebc37c52da95ecbefa83d71ccc53b9f8a4a8e" +dependencies = [ + "heck 0.4.1", + "proc-macro2", + "quote", + "syn 2.0.53", +] + [[package]] name = "rustc-hash" version = "1.1.0" @@ -2406,6 +2445,12 @@ dependencies = [ "num-traits 0.1.43", ] +[[package]] +name = "stable_deref_trait" +version = "1.2.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "a8f112729512f8e442d81f95a8a7ddf2b7c6b8a1a6f509a95864142b30cab2d3" + [[package]] name = "starknet-types-core" version = "0.1.4" @@ -2622,6 +2667,47 @@ dependencies = [ "winnow", ] +[[package]] +name = "tracing" +version = "0.1.41" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "784e0ac535deb450455cbfa28a6f0df145ea1bb7ae51b821cf5e7927fdcfbdd0" +dependencies = [ + "pin-project-lite", + "tracing-attributes", + "tracing-core", +] + +[[package]] +name = "tracing-attributes" +version = "0.1.28" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "395ae124c09f9e6918a2310af6038fba074bcf474ac352496d5910dd59a2226d" +dependencies = [ + "proc-macro2", + "quote", + "syn 2.0.53", +] + +[[package]] +name = "tracing-core" +version = "0.1.33" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "e672c95779cf947c5311f83787af4fa8fffd12fb27e4993211a84bdfd9610f9c" +dependencies = [ + "once_cell", +] + +[[package]] +name = "triomphe" +version = "0.1.14" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "ef8f7726da4807b58ea5c96fdc122f80702030edc33b35aff9190a51148ccc85" +dependencies = [ + "serde", + "stable_deref_trait", +] + [[package]] name = "typenum" version = "1.17.0" @@ -2666,9 +2752,9 @@ name = "universal-sierra-compiler" version = "2.3.0" dependencies = [ "anyhow", - "cairo-lang-casm 2.7.0", - "cairo-lang-sierra 2.7.0", - "cairo-lang-sierra-to-casm 2.7.0", + "cairo-lang-casm 2.10.0-rc.0", + "cairo-lang-sierra 2.10.0-rc.0", + "cairo-lang-sierra-to-casm 2.10.0-rc.0", "cairo-lang-starknet 1.0.0-alpha.6", "cairo-lang-starknet-classes", "clap", diff --git a/Cargo.toml b/Cargo.toml index be484e5..d089a3d 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -12,9 +12,9 @@ license = "MIT" [dependencies] cairo-lang-starknet-sierra-0_1_0 = { package = "cairo-lang-starknet", git = "https://github.com/starkware-libs/cairo.git", tag = "v1.0.0-alpha.6", version = "1.0.0-alpha.6" } cairo-lang-starknet-sierra-1_0_0 = { package = "universal-sierra-compiler-cairo-lang-starknet-proxy", version = "=0.2.0" } -cairo-lang-sierra-to-casm = "2.7.0" -cairo-lang-sierra = "2.7.0" -cairo-lang-starknet-classes = "2.7.0" +cairo-lang-sierra-to-casm = "2.10.0-rc.0" +cairo-lang-sierra = "2.10.0-rc.0" +cairo-lang-starknet-classes = "2.10.0-rc.0" serde_json = "1.0.108" serde = "1.0.193" clap = "4.4.11" @@ -28,4 +28,4 @@ indoc = "2.0.4" fs_extra = "1.3.0" test-case = "3.3.1" num-bigint = "0.4.4" -cairo-lang-casm = { version = "2.7.0", features = ["serde"] } +cairo-lang-casm = { version = "2.10.0-rc.0", features = ["serde"] } diff --git a/README.md b/README.md index 54b86aa..64ff433 100644 --- a/README.md +++ b/README.md @@ -5,6 +5,7 @@ Universal-Sierra-Compiler is the tool/crate for Sierra compilation. It compiles | Supported Sierra Versions | |---------------------------| +| 1.7.0 | | 1.6.0 | | 1.5.0 | | ~1.4.0 | diff --git a/src/commands/compile_contract.rs b/src/commands/compile_contract.rs index 9e7df3f..2846a07 100644 --- a/src/commands/compile_contract.rs +++ b/src/commands/compile_contract.rs @@ -38,7 +38,7 @@ pub fn compile(mut sierra_json: Value) -> Result { let sierra_version = parse_sierra_version(&sierra_json)?; match sierra_version.as_slice() { - [1, 2..=6, ..] => { + [1, 2..=7, ..] => { let sierra_class: ContractClass = serde_json::from_value(sierra_json.clone()).unwrap(); let casm_class = CasmContractClass::from_contract_class(sierra_class, true, usize::MAX).unwrap(); diff --git a/tests/data/sierra_contract/sierra_1_7_0.json b/tests/data/sierra_contract/sierra_1_7_0.json new file mode 100644 index 0000000..ced731f --- /dev/null +++ b/tests/data/sierra_contract/sierra_1_7_0.json @@ -0,0 +1 @@ +{"sierra_program":["0x1","0x7","0x0","0x2","0xa","0x0","0xaf","0x51","0x18","0x52616e6765436865636b","0x800000000000000100000000000000000000000000000000","0x53746f726167654261736541646472657373","0x800000000000000700000000000000000000000000000000","0x537472756374","0x800000000000000700000000000000000000000000000002","0x0","0x145cc613954179acf89d43c94ed0e091828cbddcca83f5b408785785036d36d","0x1","0x436f6e7374","0x800000000000000000000000000000000000000000000002","0xe","0x2","0x4661696c656420746f20646573657269616c697a6520706172616d202331","0x4f7574206f6620676173","0x4172726179","0x800000000000000300000000000000000000000000000001","0x536e617073686f74","0x800000000000000700000000000000000000000000000001","0x5","0x1baeba72e79e9db2587cf44fedb2f3700b2075a5e8e39a562584862c4b71f62","0x6","0x2ee1e2b1b89f8c495f200e4956278a4d47395fe262f27b52e5865c9524c08c3","0x7","0xa","0x753332","0x53746f7261676541646472657373","0x31448060506164e4d1df7635613bacfbea8af9c3dc85ea9a55935292a4acddc","0x416d6f756e742063616e6e6f742062652030","0x66656c74323532","0x4e6f6e5a65726f","0x4275696c74696e436f737473","0x53797374656d","0x800000000000000f00000000000000000000000000000001","0x16a4c8d7c05909052238a862d8cc3e7975bf05a07b3a69c6b28951083a6d672","0x800000000000000300000000000000000000000000000003","0x12","0x456e756d","0x9931c641b913035ae674b400b61a51476d506bbe8bba2ff8a6272790aba9e6","0x8","0x13","0x496e70757420746f6f206c6f6e6720666f7220617267756d656e7473","0x426f78","0x4761734275696c74696e","0x3b","0x7265766f6b655f61705f747261636b696e67","0x77697468647261775f676173","0x6272616e63685f616c69676e","0x72656465706f7369745f676173","0x7374727563745f6465636f6e737472756374","0x73746f72655f74656d70","0x17","0x61727261795f736e617073686f745f706f705f66726f6e74","0x756e626f78","0x64726f70","0x16","0x61727261795f6e6577","0x636f6e73745f61735f696d6d656469617465","0x15","0x61727261795f617070656e64","0x7374727563745f636f6e737472756374","0x656e756d5f696e6974","0x14","0x11","0x6765745f6275696c74696e5f636f737473","0x10","0x77697468647261775f6761735f616c6c","0x72656e616d65","0x656e61626c655f61705f747261636b696e67","0x647570","0x66656c743235325f69735f7a65726f","0xd","0x6a756d70","0xf","0x73746f726167655f626173655f616464726573735f636f6e7374","0x206f38f7e4f15e87567361213c28f235cccdaa1d7fd34c9db1dfe9489c6a091","0xc","0x736e617073686f745f74616b65","0x73746f726167655f616464726573735f66726f6d5f62617365","0x9","0xb","0x73746f726167655f726561645f73797363616c6c","0x66656c743235325f616464","0x73746f726167655f77726974655f73797363616c6c","0x64697361626c655f61705f747261636b696e67","0x4","0x3","0x10f","0xffffffffffffffff","0x9a","0x8b","0x20","0x19","0x1a","0x1b","0x1c","0x7c","0x1d","0x1e","0x1f","0x21","0x3a","0x22","0x23","0x24","0x25","0x26","0x27","0x28","0x29","0x73","0x2a","0x2b","0x2c","0x2d","0x2e","0x2f","0x30","0x31","0x32","0x33","0x34","0x35","0x6c","0x36","0x37","0x38","0x39","0x3c","0x3d","0x3e","0x3f","0x65","0x40","0x41","0x42","0x43","0x44","0x45","0x46","0x47","0x48","0x49","0x4a","0x4b","0x4c","0x4d","0x4e","0x4f","0x50","0x51","0x52","0x53","0x54","0x55","0x56","0x57","0x58","0x59","0x5a","0x5b","0x5c","0x5d","0x5e","0x5f","0x60","0x61","0x62","0x63","0x100","0xc1","0xf2","0xe7","0xa9","0x9b1","0x140913120c0911100f0d0c090b0a0e0d0c090b0a0909080706050403020100","0x90b0a09091c070605041b041a070d19090b0a180917070605160915070605","0x280927072426140925091707240523072205022104200c09131f041e1d0d0c","0x70909331809093207310730072f072e2d022c0c09132b2a0d0c090b0a2909","0x9093738090937160909370c090933160909330c0909360c09093534090933","0x40090933090d3f090d3e2909093d2509093d0c09093c3b09093a0c0909390c","0x909334809093a07470c09094607450c09094407434209093307413f090933","0x90909444d0909324d0909374d09094e4d09093d4c0d094b4a090937074914","0x3d140909371409094e075507540753075251090933190909335009093a074f","0x94e0d09093d180909375709093a5609093a070d3f090d3e2809093d180909","0x18160d5a14560d590d09070d0907075909070707580d0909320d0909370d09","0x7560959095609140750095909570956072809590914095707075909070d07","0x590928095707075909070d074d095b51190d590d5009180728095909280916","0x90c091907480959094809160719095909190950070c095909510928074809","0x94d070759094a095107075909070d0740095c424a0d590d190918070c0959","0x5909074a0729095909070c0725095909480957070759090c09480707590942","0x3b380d2507380959090740073b0959093f290d42073f0959093f0919073f09","0x93f0725095909250916075609590956091407000959093409290734095909","0x590940095107075909070d07000d255656090009590900093b070d0959090d","0x959095e0934075d0959095d0916075e0959090738075d0959094809570707","0x76409590960095707075909070d0763620d61605f0d590d5e5d565700075e","0x75f0959095f091407655c0d59095c095f07075909075e075c0959090c095d","0x70759095c094807075909070d0767096607590d6509600764095909640916","0x42076a0959096a0919076a09590907620769095909070c0768095909640957","0x6e0959096b0963076d0959090d093f076c095909680916076b0959096a690d","0x9076507700959096409570707590967095c07075909070d07076f09076407","0x74096a070759097309690774730d5909720968077209590971096707710959","0x7009160778095909076d077709590976096c077609590975096b0775095909","0x7957590d77780d7056710777095909770970077809590978096e0770095909","0x650780095909790957077909590979091607075909070d077f7e7d577c7b7a","0x7810959095c7b0d72077b0959097b0919072d09590966096c076609590907","0x72d0959092d0970078209590982096e07800959098009160782095909076d","0x75909070d07888786578584830d590d812d827a8014730781095909810919","0x75078a095909070c0789095909830957078309590983091607075909077407","0x78e0959098d0978078d0959098c0977070759098b0976078c8b0d59098a09","0x8409590984093f0789095909890916075f0959095f0914078f0959098e0979","0x957078609590986091607075909070d078f84895f56098f0959098f093b07","0x64076e095909880963076d09590987093f076c095909900916079009590986","0x59097d0957077d0959097d0916070759095c094807075909070d07076f0907","0x59090774076e0959097f0963076d0959097e093f076c095909910916079109","0x59095f0914079409590993092907930959096e920d25079209590907400707","0x6d6c5f56099409590994093b076d0959096d093f076c0959096c0916075f09","0x7a0796095909070c0795095909630957070759090c094807075909070d0794","0x2507990959090740079809590997960d420797095909970919079709590907","0x950959099509160762095909620914079b0959099a0929079a09590998990d","0x95107075909070d079b0d956256099b0959099b093b070d0959090d093f07","0x99e0919079e095909077b079d095909070c079c095909280957070759094d","0x92907a10959099fa00d2507a00959090740079f0959099e9d0d42079e0959","0x3b070d0959090d093f079c0959099c0916075609590956091407a2095909a1","0x59091809570707590957097d07075909070d07a20d9c565609a2095909a209","0x5909a5a40d4207a5095909a5091907a5095909077a07a4095909070c07a309","0x916091407a9095909a8092907a8095909a6a70d2507a7095909074007a609","0xa3165609a9095909a9093b070d0959090d093f07a3095909a3091607160959","0x95707075909070d0718160daa14560d590d09070d0907075909070707a90d","0x18072809590928091607560959095609140750095909570956072809590914","0x707590951094d0707590919095107075909070d074d09ab51190d590d5009","0x42074a0959094a0919074a095909074a070c095909070c0748095909280957","0x29095909250929072509590942400d250740095909074007420959094a0c0d","0x9590929093b070d0959090d093f0748095909480916075609590956091407","0x738073f095909280957070759094d095107075909070d07290d4856560929","0x34380d590d3b3f565700073b0959093b0934073f0959093f0916073b095909","0x59095f097e075f0959090765075e09590934095707075909070d075d000dac","0x964096b0764095909630966070759096209800763620d590960097f076009","0x967096e075e0959095e09160767095909076d07650959095c096c075c0959","0x696857590d65670d5e56710738095909380914076509590965097007670959","0x70c076e095909680957076809590968091607075909070d076d6c6b57ad6a","0x773720d590971097507710959096a700d42076a0959096a09190770095909","0x7760959097509790775095909740978077409590973097707075909720976","0x7609590976093b076909590969093f076e0959096e09160738095909380914","0x74007770959096b0957076b0959096b091607075909070d0776696e385609","0x160738095909380914077a09590979092907790959096d780d250778095909","0x70d077a6c773856097a0959097a093b076c0959096c093f07770959097709","0x59097e0919077e095909077a077d095909070c077b0959095d095707075909","0x66092907660959097f800d2507800959090740077f0959097e7d0d42077e09","0x93b070d0959090d093f077b0959097b09160700095909000914072d095909","0x959091809570707590957097d07075909070d072d0d7b0056092d0959092d","0x9590983820d4207830959098309190783095909077a0782095909070c0781","0x59091609140788095909870929078709590984860d25078609590907400784","0xd811656098809590988093b070d0959090d093f0781095909810916071609","0x570d09073f40340756184034075607570d09073f4034075618403407560d88","0xae"],"sierra_program_debug_info":{"type_names":[[0,"RangeCheck"],[1,"StorageBaseAddress"],[2,"core::starknet::storage::StoragePointer0Offset::"],[3,"Const"],[4,"Const"],[5,"Array"],[6,"Snapshot>"],[7,"core::array::Span::"],[8,"Tuple>"],[9,"Const"],[10,"u32"],[11,"StorageAddress"],[12,"core::starknet::storage::StoragePointer0Offset::>"],[13,"Const"],[14,"felt252"],[15,"NonZero"],[16,"BuiltinCosts"],[17,"System"],[18,"core::panics::Panic"],[19,"Tuple>"],[20,"core::panics::PanicResult::<(core::array::Span::,)>"],[21,"Const"],[22,"Box"],[23,"GasBuiltin"]],"libfunc_names":[[0,"revoke_ap_tracking"],[1,"withdraw_gas"],[2,"branch_align"],[3,"redeposit_gas"],[4,"struct_deconstruct>"],[5,"store_temp"],[6,"store_temp"],[7,"array_snapshot_pop_front"],[8,"unbox"],[9,"store_temp>>"],[10,"store_temp"],[11,"drop>>"],[12,"drop>"],[13,"drop"],[14,"array_new"],[15,"const_as_immediate>"],[16,"array_append"],[17,"struct_construct"],[18,"struct_construct>>"],[19,"enum_init,)>, 1>"],[20,"store_temp"],[21,"store_temp,)>>"],[22,"get_builtin_costs"],[23,"store_temp"],[24,"withdraw_gas_all"],[25,"rename"],[26,"enable_ap_tracking"],[27,"dup"],[28,"felt252_is_zero"],[29,"const_as_immediate>"],[30,"store_temp>"],[31,"jump"],[32,"drop>"],[33,"storage_base_address_const<916907772491729262376534102982219947830828984996257231353398618781993312401>"],[34,"struct_construct>>"],[35,"snapshot_take>>"],[36,"drop>>"],[37,"struct_deconstruct>>"],[38,"rename"],[39,"storage_address_from_base"],[40,"const_as_immediate>"],[41,"store_temp"],[42,"store_temp"],[43,"storage_read_syscall"],[44,"felt252_add"],[45,"storage_write_syscall"],[46,"disable_ap_tracking"],[47,"snapshot_take>"],[48,"drop>"],[49,"struct_construct>"],[50,"struct_construct>>"],[51,"enum_init,)>, 0>"],[52,"const_as_immediate>"],[53,"const_as_immediate>"],[54,"drop>"],[55,"struct_construct>"],[56,"snapshot_take>"],[57,"drop>"],[58,"struct_deconstruct>"]],"user_func_names":[[0,"simple_package::HelloStarknet::__wrapper__HelloStarknetImpl__increase_balance"],[1,"simple_package::HelloStarknet::__wrapper__HelloStarknetImpl__get_balance"]]},"contract_class_version":"0.1.0","entry_points_by_type":{"EXTERNAL":[{"selector":"0x362398bec32bc0ebb411203221a35a0301193a96f317ebe5e40be9f60d15320","function_idx":0},{"selector":"0x39e11d48192e4333233c7eb19d10ad67c362bb28580c604d67884c85da39695","function_idx":1}],"L1_HANDLER":[],"CONSTRUCTOR":[]},"abi":[{"type":"impl","name":"HelloStarknetImpl","interface_name":"simple_package::IHelloStarknet"},{"type":"interface","name":"simple_package::IHelloStarknet","items":[{"type":"function","name":"increase_balance","inputs":[{"name":"amount","type":"core::felt252"}],"outputs":[],"state_mutability":"external"},{"type":"function","name":"get_balance","inputs":[],"outputs":[{"type":"core::felt252"}],"state_mutability":"view"}]},{"type":"event","name":"simple_package::HelloStarknet::Event","kind":"enum","variants":[]}]} \ No newline at end of file diff --git a/tests/data/sierra_raw/sierra_1_7_0.json b/tests/data/sierra_raw/sierra_1_7_0.json new file mode 100644 index 0000000..8dd8783 --- /dev/null +++ b/tests/data/sierra_raw/sierra_1_7_0.json @@ -0,0 +1 @@ +{"version":1,"type_declarations":[{"id":{"id":0,"debug_name":null},"long_id":{"generic_id":"RangeCheck","generic_args":[]},"declared_type_info":{"storable":true,"droppable":false,"duplicatable":false,"zero_sized":false}},{"id":{"id":13,"debug_name":null},"long_id":{"generic_id":"StorageBaseAddress","generic_args":[]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":true,"zero_sized":false}},{"id":{"id":14,"debug_name":null},"long_id":{"generic_id":"Struct","generic_args":[{"UserType":{"id":[1345770349,1082623352,3433578331,405326813,2498563593,3481916476,961812378,21351521],"debug_name":"core::starknet::storage::StoragePointer0Offset::"}},{"Type":{"id":13,"debug_name":null}}]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":true,"zero_sized":false}},{"id":{"id":23,"debug_name":null},"long_id":{"generic_id":"Const","generic_args":[{"Type":{"id":3,"debug_name":null}},{"Value":[1,[1830822705,1885434465,1769628960,1919508844,1684370277,544501536,1768711524,18017]]}]},"declared_type_info":{"storable":false,"droppable":false,"duplicatable":false,"zero_sized":false}},{"id":{"id":19,"debug_name":null},"long_id":{"generic_id":"Const","generic_args":[{"Type":{"id":3,"debug_name":null}},{"Value":[1,[543646067,1948282726,20341]]}]},"declared_type_info":{"storable":false,"droppable":false,"duplicatable":false,"zero_sized":false}},{"id":{"id":4,"debug_name":null},"long_id":{"generic_id":"Array","generic_args":[{"Type":{"id":3,"debug_name":null}}]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":false,"zero_sized":false}},{"id":{"id":5,"debug_name":null},"long_id":{"generic_id":"Snapshot","generic_args":[{"Type":{"id":4,"debug_name":null}}]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":true,"zero_sized":false}},{"id":{"id":6,"debug_name":null},"long_id":{"generic_id":"Struct","generic_args":[{"UserType":{"id":[3300335458,1649952866,1586379173,11667290,4275777335,629657412,779741659,29027239],"debug_name":"core::array::Span::"}},{"Type":{"id":5,"debug_name":null}}]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":true,"zero_sized":false}},{"id":{"id":10,"debug_name":null},"long_id":{"generic_id":"Struct","generic_args":[{"UserType":{"id":[1380714691,777545161,640624565,3564344830,2506258596,2515665124,462026948,49159723],"debug_name":"Tuple"}},{"Type":{"id":6,"debug_name":null}}]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":true,"zero_sized":false}},{"id":{"id":18,"debug_name":null},"long_id":{"generic_id":"Const","generic_args":[{"Type":{"id":16,"debug_name":null}},{"Value":[0,[]]}]},"declared_type_info":{"storable":false,"droppable":false,"duplicatable":false,"zero_sized":false}},{"id":{"id":16,"debug_name":null},"long_id":{"generic_id":"u32","generic_args":[]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":true,"zero_sized":false}},{"id":{"id":15,"debug_name":null},"long_id":{"generic_id":"StorageAddress","generic_args":[]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":true,"zero_sized":false}},{"id":{"id":21,"debug_name":null},"long_id":{"generic_id":"Struct","generic_args":[{"UserType":{"id":[709545436,2774086953,1036541609,3198726044,1444133583,1293809507,84285006,51660806],"debug_name":"core::starknet::storage::StoragePointer0Offset::>"}},{"Type":{"id":13,"debug_name":null}}]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":true,"zero_sized":false}},{"id":{"id":22,"debug_name":null},"long_id":{"generic_id":"Const","generic_args":[{"Type":{"id":3,"debug_name":null}},{"Value":[1,[1650794544,1852797984,543383918,1869966964,16749]]}]},"declared_type_info":{"storable":false,"droppable":false,"duplicatable":false,"zero_sized":false}},{"id":{"id":3,"debug_name":null},"long_id":{"generic_id":"felt252","generic_args":[]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":true,"zero_sized":false}},{"id":{"id":20,"debug_name":null},"long_id":{"generic_id":"NonZero","generic_args":[{"Type":{"id":3,"debug_name":null}}]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":true,"zero_sized":false}},{"id":{"id":12,"debug_name":null},"long_id":{"generic_id":"BuiltinCosts","generic_args":[]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":true,"zero_sized":false}},{"id":{"id":2,"debug_name":null},"long_id":{"generic_id":"System","generic_args":[]},"declared_type_info":{"storable":true,"droppable":false,"duplicatable":false,"zero_sized":false}},{"id":{"id":8,"debug_name":null},"long_id":{"generic_id":"Struct","generic_args":[{"UserType":{"id":[2208749170,1797821712,129214108,2539384922,764199911,1378060934,2080739472,23743629],"debug_name":"core::panics::Panic"}}]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":true,"zero_sized":true}},{"id":{"id":9,"debug_name":null},"long_id":{"generic_id":"Struct","generic_args":[{"UserType":{"id":[1380714691,777545161,640624565,3564344830,2506258596,2515665124,462026948,49159723],"debug_name":"Tuple"}},{"Type":{"id":8,"debug_name":null}},{"Type":{"id":4,"debug_name":null}}]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":false,"zero_sized":false}},{"id":{"id":11,"debug_name":null},"long_id":{"generic_id":"Enum","generic_args":[{"UserType":{"id":[2427169254,4171638567,3196828207,1198346347,11934289,1525052596,1102648067,10039750],"debug_name":"core::panics::PanicResult::<(core::array::Span::,)>"}},{"Type":{"id":10,"debug_name":null}},{"Type":{"id":9,"debug_name":null}}]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":false,"zero_sized":false}},{"id":{"id":17,"debug_name":null},"long_id":{"generic_id":"Const","generic_args":[{"Type":{"id":3,"debug_name":null}},{"Value":[1,[1701737587,1919382893,1869750369,1852252262,1864395887,1948284015,1231974517]]}]},"declared_type_info":{"storable":false,"droppable":false,"duplicatable":false,"zero_sized":false}},{"id":{"id":7,"debug_name":null},"long_id":{"generic_id":"Box","generic_args":[{"Type":{"id":3,"debug_name":null}}]},"declared_type_info":{"storable":true,"droppable":true,"duplicatable":true,"zero_sized":false}},{"id":{"id":1,"debug_name":null},"long_id":{"generic_id":"GasBuiltin","generic_args":[]},"declared_type_info":{"storable":true,"droppable":false,"duplicatable":false,"zero_sized":false}}],"libfunc_declarations":[{"id":{"id":19,"debug_name":null},"long_id":{"generic_id":"revoke_ap_tracking","generic_args":[]}},{"id":{"id":18,"debug_name":null},"long_id":{"generic_id":"withdraw_gas","generic_args":[]}},{"id":{"id":20,"debug_name":null},"long_id":{"generic_id":"branch_align","generic_args":[]}},{"id":{"id":5,"debug_name":null},"long_id":{"generic_id":"redeposit_gas","generic_args":[]}},{"id":{"id":17,"debug_name":null},"long_id":{"generic_id":"struct_deconstruct","generic_args":[{"Type":{"id":6,"debug_name":null}}]}},{"id":{"id":32,"debug_name":null},"long_id":{"generic_id":"store_temp","generic_args":[{"Type":{"id":0,"debug_name":null}}]}},{"id":{"id":33,"debug_name":null},"long_id":{"generic_id":"store_temp","generic_args":[{"Type":{"id":1,"debug_name":null}}]}},{"id":{"id":16,"debug_name":null},"long_id":{"generic_id":"array_snapshot_pop_front","generic_args":[{"Type":{"id":3,"debug_name":null}}]}},{"id":{"id":45,"debug_name":null},"long_id":{"generic_id":"unbox","generic_args":[{"Type":{"id":3,"debug_name":null}}]}},{"id":{"id":57,"debug_name":null},"long_id":{"generic_id":"store_temp","generic_args":[{"Type":{"id":5,"debug_name":null}}]}},{"id":{"id":34,"debug_name":null},"long_id":{"generic_id":"store_temp","generic_args":[{"Type":{"id":3,"debug_name":null}}]}},{"id":{"id":21,"debug_name":null},"long_id":{"generic_id":"drop","generic_args":[{"Type":{"id":5,"debug_name":null}}]}},{"id":{"id":22,"debug_name":null},"long_id":{"generic_id":"drop","generic_args":[{"Type":{"id":7,"debug_name":null}}]}},{"id":{"id":46,"debug_name":null},"long_id":{"generic_id":"drop","generic_args":[{"Type":{"id":3,"debug_name":null}}]}},{"id":{"id":4,"debug_name":null},"long_id":{"generic_id":"array_new","generic_args":[{"Type":{"id":3,"debug_name":null}}]}},{"id":{"id":23,"debug_name":null},"long_id":{"generic_id":"const_as_immediate","generic_args":[{"Type":{"id":17,"debug_name":null}}]}},{"id":{"id":3,"debug_name":null},"long_id":{"generic_id":"array_append","generic_args":[{"Type":{"id":3,"debug_name":null}}]}},{"id":{"id":2,"debug_name":null},"long_id":{"generic_id":"struct_construct","generic_args":[{"Type":{"id":8,"debug_name":null}}]}},{"id":{"id":1,"debug_name":null},"long_id":{"generic_id":"struct_construct","generic_args":[{"Type":{"id":9,"debug_name":null}}]}},{"id":{"id":0,"debug_name":null},"long_id":{"generic_id":"enum_init","generic_args":[{"Type":{"id":11,"debug_name":null}},{"Value":[1,[1]]}]}},{"id":{"id":35,"debug_name":null},"long_id":{"generic_id":"store_temp","generic_args":[{"Type":{"id":2,"debug_name":null}}]}},{"id":{"id":36,"debug_name":null},"long_id":{"generic_id":"store_temp","generic_args":[{"Type":{"id":11,"debug_name":null}}]}},{"id":{"id":15,"debug_name":null},"long_id":{"generic_id":"get_builtin_costs","generic_args":[]}},{"id":{"id":37,"debug_name":null},"long_id":{"generic_id":"store_temp","generic_args":[{"Type":{"id":12,"debug_name":null}}]}},{"id":{"id":14,"debug_name":null},"long_id":{"generic_id":"withdraw_gas_all","generic_args":[]}},{"id":{"id":47,"debug_name":null},"long_id":{"generic_id":"rename","generic_args":[{"Type":{"id":3,"debug_name":null}}]}},{"id":{"id":48,"debug_name":null},"long_id":{"generic_id":"enable_ap_tracking","generic_args":[]}},{"id":{"id":49,"debug_name":null},"long_id":{"generic_id":"dup","generic_args":[{"Type":{"id":3,"debug_name":null}}]}},{"id":{"id":44,"debug_name":null},"long_id":{"generic_id":"felt252_is_zero","generic_args":[]}},{"id":{"id":50,"debug_name":null},"long_id":{"generic_id":"const_as_immediate","generic_args":[{"Type":{"id":22,"debug_name":null}}]}},{"id":{"id":58,"debug_name":null},"long_id":{"generic_id":"store_temp","generic_args":[{"Type":{"id":4,"debug_name":null}}]}},{"id":{"id":51,"debug_name":null},"long_id":{"generic_id":"jump","generic_args":[]}},{"id":{"id":52,"debug_name":null},"long_id":{"generic_id":"drop","generic_args":[{"Type":{"id":20,"debug_name":null}}]}},{"id":{"id":13,"debug_name":null},"long_id":{"generic_id":"storage_base_address_const","generic_args":[{"Value":[1,[2311495825,3676176020,3623695561,1556929185,331517731,1969698322,2119112168,34009999]]}]}},{"id":{"id":43,"debug_name":null},"long_id":{"generic_id":"struct_construct","generic_args":[{"Type":{"id":21,"debug_name":null}}]}},{"id":{"id":53,"debug_name":null},"long_id":{"generic_id":"snapshot_take","generic_args":[{"Type":{"id":21,"debug_name":null}}]}},{"id":{"id":54,"debug_name":null},"long_id":{"generic_id":"drop","generic_args":[{"Type":{"id":21,"debug_name":null}}]}},{"id":{"id":42,"debug_name":null},"long_id":{"generic_id":"struct_deconstruct","generic_args":[{"Type":{"id":21,"debug_name":null}}]}},{"id":{"id":26,"debug_name":null},"long_id":{"generic_id":"rename","generic_args":[{"Type":{"id":13,"debug_name":null}}]}},{"id":{"id":10,"debug_name":null},"long_id":{"generic_id":"storage_address_from_base","generic_args":[]}},{"id":{"id":27,"debug_name":null},"long_id":{"generic_id":"const_as_immediate","generic_args":[{"Type":{"id":18,"debug_name":null}}]}},{"id":{"id":38,"debug_name":null},"long_id":{"generic_id":"store_temp","generic_args":[{"Type":{"id":16,"debug_name":null}}]}},{"id":{"id":39,"debug_name":null},"long_id":{"generic_id":"store_temp","generic_args":[{"Type":{"id":15,"debug_name":null}}]}},{"id":{"id":9,"debug_name":null},"long_id":{"generic_id":"storage_read_syscall","generic_args":[]}},{"id":{"id":41,"debug_name":null},"long_id":{"generic_id":"felt252_add","generic_args":[]}},{"id":{"id":40,"debug_name":null},"long_id":{"generic_id":"storage_write_syscall","generic_args":[]}},{"id":{"id":55,"debug_name":null},"long_id":{"generic_id":"disable_ap_tracking","generic_args":[]}},{"id":{"id":28,"debug_name":null},"long_id":{"generic_id":"snapshot_take","generic_args":[{"Type":{"id":4,"debug_name":null}}]}},{"id":{"id":29,"debug_name":null},"long_id":{"generic_id":"drop","generic_args":[{"Type":{"id":4,"debug_name":null}}]}},{"id":{"id":8,"debug_name":null},"long_id":{"generic_id":"struct_construct","generic_args":[{"Type":{"id":6,"debug_name":null}}]}},{"id":{"id":7,"debug_name":null},"long_id":{"generic_id":"struct_construct","generic_args":[{"Type":{"id":10,"debug_name":null}}]}},{"id":{"id":6,"debug_name":null},"long_id":{"generic_id":"enum_init","generic_args":[{"Type":{"id":11,"debug_name":null}},{"Value":[0,[]]}]}},{"id":{"id":30,"debug_name":null},"long_id":{"generic_id":"const_as_immediate","generic_args":[{"Type":{"id":19,"debug_name":null}}]}},{"id":{"id":56,"debug_name":null},"long_id":{"generic_id":"const_as_immediate","generic_args":[{"Type":{"id":23,"debug_name":null}}]}},{"id":{"id":31,"debug_name":null},"long_id":{"generic_id":"drop","generic_args":[{"Type":{"id":6,"debug_name":null}}]}},{"id":{"id":12,"debug_name":null},"long_id":{"generic_id":"struct_construct","generic_args":[{"Type":{"id":14,"debug_name":null}}]}},{"id":{"id":24,"debug_name":null},"long_id":{"generic_id":"snapshot_take","generic_args":[{"Type":{"id":14,"debug_name":null}}]}},{"id":{"id":25,"debug_name":null},"long_id":{"generic_id":"drop","generic_args":[{"Type":{"id":14,"debug_name":null}}]}},{"id":{"id":11,"debug_name":null},"long_id":{"generic_id":"struct_deconstruct","generic_args":[{"Type":{"id":14,"debug_name":null}}]}}],"statements":[{"Invocation":{"libfunc_id":{"id":19,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":18,"debug_name":null},"args":[{"id":0,"debug_name":null},{"id":1,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":4,"debug_name":null},{"id":5,"debug_name":null}]},{"target":{"Statement":154},"results":[{"id":6,"debug_name":null},{"id":7,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":5,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":8,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":17,"debug_name":null},"args":[{"id":3,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":9,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":4,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":4,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":8,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":8,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":16,"debug_name":null},"args":[{"id":9,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":10,"debug_name":null},{"id":11,"debug_name":null}]},{"target":{"Statement":139},"results":[{"id":12,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":8,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":13,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":45,"debug_name":null},"args":[{"id":11,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":14,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":57,"debug_name":null},"args":[{"id":10,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":10,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":13,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":13,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":34,"debug_name":null},"args":[{"id":14,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":14,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":16,"debug_name":null},"args":[{"id":10,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":15,"debug_name":null},{"id":16,"debug_name":null}]},{"target":{"Statement":32},"results":[{"id":17,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":21,"debug_name":null},"args":[{"id":15,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":22,"debug_name":null},"args":[{"id":16,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":46,"debug_name":null},"args":[{"id":14,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":13,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":18,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":4,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":19,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":23,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":20,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":34,"debug_name":null},"args":[{"id":20,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":20,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":3,"debug_name":null},"args":[{"id":19,"debug_name":null},{"id":20,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":21,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":2,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":22,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":1,"debug_name":null},"args":[{"id":22,"debug_name":null},{"id":21,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":23,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":0,"debug_name":null},"args":[{"id":23,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":24,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":4,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":4,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":18,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":18,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":2,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":2,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":36,"debug_name":null},"args":[{"id":24,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":24,"debug_name":null}]}]}},{"Return":[{"id":4,"debug_name":null},{"id":18,"debug_name":null},{"id":2,"debug_name":null},{"id":24,"debug_name":null}]},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":21,"debug_name":null},"args":[{"id":17,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":13,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":25,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":15,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":26,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":25,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":25,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":37,"debug_name":null},"args":[{"id":26,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":26,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":14,"debug_name":null},"args":[{"id":4,"debug_name":null},{"id":25,"debug_name":null},{"id":26,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":27,"debug_name":null},{"id":28,"debug_name":null}]},{"target":{"Statement":124},"results":[{"id":29,"debug_name":null},{"id":30,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":28,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":31,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":47,"debug_name":null},"args":[{"id":14,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":32,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":48,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":49,"debug_name":null},"args":[{"id":32,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":32,"debug_name":null},{"id":33,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":27,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":27,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":31,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":31,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":44,"debug_name":null},"args":[{"id":33,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]},{"target":{"Statement":58},"results":[{"id":34,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":46,"debug_name":null},"args":[{"id":32,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":31,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":35,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":4,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":36,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":50,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":37,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":34,"debug_name":null},"args":[{"id":37,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":37,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":3,"debug_name":null},"args":[{"id":36,"debug_name":null},{"id":37,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":38,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":35,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":39,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":2,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":40,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":58,"debug_name":null},"args":[{"id":38,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":41,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":51,"debug_name":null},"args":[],"branches":[{"target":{"Statement":115},"results":[]}]}},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":52,"debug_name":null},"args":[{"id":34,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":31,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":42,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":13,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":43,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":43,"debug_name":null},"args":[{"id":43,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":44,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":53,"debug_name":null},"args":[{"id":44,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":45,"debug_name":null},{"id":46,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":54,"debug_name":null},"args":[{"id":45,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":42,"debug_name":null},"args":[{"id":46,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":47,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":26,"debug_name":null},"args":[{"id":47,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":48,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":10,"debug_name":null},"args":[{"id":48,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":49,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":27,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":50,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":42,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":42,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":38,"debug_name":null},"args":[{"id":50,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":50,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":39,"debug_name":null},"args":[{"id":49,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":49,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":9,"debug_name":null},"args":[{"id":42,"debug_name":null},{"id":2,"debug_name":null},{"id":50,"debug_name":null},{"id":49,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":51,"debug_name":null},{"id":52,"debug_name":null},{"id":53,"debug_name":null}]},{"target":{"Statement":108},"results":[{"id":54,"debug_name":null},{"id":55,"debug_name":null},{"id":56,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":51,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":51,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":51,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":57,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":13,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":58,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":10,"debug_name":null},"args":[{"id":58,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":59,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":34,"debug_name":null},"args":[{"id":53,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":53,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":41,"debug_name":null},"args":[{"id":53,"debug_name":null},{"id":32,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":60,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":27,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":61,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":57,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":57,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":38,"debug_name":null},"args":[{"id":61,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":61,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":39,"debug_name":null},"args":[{"id":59,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":59,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":34,"debug_name":null},"args":[{"id":60,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":60,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":40,"debug_name":null},"args":[{"id":57,"debug_name":null},{"id":52,"debug_name":null},{"id":61,"debug_name":null},{"id":59,"debug_name":null},{"id":60,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":62,"debug_name":null},{"id":63,"debug_name":null}]},{"target":{"Statement":101},"results":[{"id":64,"debug_name":null},{"id":65,"debug_name":null},{"id":66,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":55,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":62,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":62,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":62,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":67,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":4,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":68,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":28,"debug_name":null},"args":[{"id":68,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":69,"debug_name":null},{"id":70,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":29,"debug_name":null},"args":[{"id":69,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":8,"debug_name":null},"args":[{"id":70,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":71,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":7,"debug_name":null},"args":[{"id":71,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":72,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":6,"debug_name":null},"args":[{"id":72,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":73,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":27,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":27,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":67,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":67,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":63,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":63,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":36,"debug_name":null},"args":[{"id":73,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":73,"debug_name":null}]}]}},{"Return":[{"id":27,"debug_name":null},{"id":67,"debug_name":null},{"id":63,"debug_name":null},{"id":73,"debug_name":null}]},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":64,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":64,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":64,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":74,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":74,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":39,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":65,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":40,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":58,"debug_name":null},"args":[{"id":66,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":41,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":51,"debug_name":null},"args":[],"branches":[{"target":{"Statement":115},"results":[]}]}},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":46,"debug_name":null},"args":[{"id":32,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":54,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":54,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":54,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":75,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":75,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":39,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":55,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":40,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":58,"debug_name":null},"args":[{"id":56,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":41,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":55,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":2,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":76,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":1,"debug_name":null},"args":[{"id":76,"debug_name":null},{"id":41,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":77,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":0,"debug_name":null},"args":[{"id":77,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":78,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":27,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":27,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":39,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":39,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":40,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":40,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":36,"debug_name":null},"args":[{"id":78,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":78,"debug_name":null}]}]}},{"Return":[{"id":27,"debug_name":null},{"id":39,"debug_name":null},{"id":40,"debug_name":null},{"id":78,"debug_name":null}]},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":46,"debug_name":null},"args":[{"id":14,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":30,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":79,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":4,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":80,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":30,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":81,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":34,"debug_name":null},"args":[{"id":81,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":81,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":3,"debug_name":null},"args":[{"id":80,"debug_name":null},{"id":81,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":82,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":2,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":83,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":1,"debug_name":null},"args":[{"id":83,"debug_name":null},{"id":82,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":84,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":0,"debug_name":null},"args":[{"id":84,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":85,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":29,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":29,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":79,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":79,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":2,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":2,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":36,"debug_name":null},"args":[{"id":85,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":85,"debug_name":null}]}]}},{"Return":[{"id":29,"debug_name":null},{"id":79,"debug_name":null},{"id":2,"debug_name":null},{"id":85,"debug_name":null}]},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":21,"debug_name":null},"args":[{"id":12,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":8,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":86,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":4,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":87,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":56,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":88,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":34,"debug_name":null},"args":[{"id":88,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":88,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":3,"debug_name":null},"args":[{"id":87,"debug_name":null},{"id":88,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":89,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":2,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":90,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":1,"debug_name":null},"args":[{"id":90,"debug_name":null},{"id":89,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":91,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":0,"debug_name":null},"args":[{"id":91,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":92,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":4,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":4,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":86,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":86,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":2,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":2,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":36,"debug_name":null},"args":[{"id":92,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":92,"debug_name":null}]}]}},{"Return":[{"id":4,"debug_name":null},{"id":86,"debug_name":null},{"id":2,"debug_name":null},{"id":92,"debug_name":null}]},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":31,"debug_name":null},"args":[{"id":3,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":7,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":93,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":4,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":94,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":30,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":95,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":34,"debug_name":null},"args":[{"id":95,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":95,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":3,"debug_name":null},"args":[{"id":94,"debug_name":null},{"id":95,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":96,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":2,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":97,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":1,"debug_name":null},"args":[{"id":97,"debug_name":null},{"id":96,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":98,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":0,"debug_name":null},"args":[{"id":98,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":99,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":6,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":6,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":93,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":93,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":2,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":2,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":36,"debug_name":null},"args":[{"id":99,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":99,"debug_name":null}]}]}},{"Return":[{"id":6,"debug_name":null},{"id":93,"debug_name":null},{"id":2,"debug_name":null},{"id":99,"debug_name":null}]},{"Invocation":{"libfunc_id":{"id":19,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":18,"debug_name":null},"args":[{"id":0,"debug_name":null},{"id":1,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":4,"debug_name":null},{"id":5,"debug_name":null}]},{"target":{"Statement":256},"results":[{"id":6,"debug_name":null},{"id":7,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":5,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":8,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":17,"debug_name":null},"args":[{"id":3,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":9,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":4,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":4,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":8,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":8,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":16,"debug_name":null},"args":[{"id":9,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":10,"debug_name":null},{"id":11,"debug_name":null}]},{"target":{"Statement":193},"results":[{"id":12,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":21,"debug_name":null},"args":[{"id":10,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":22,"debug_name":null},"args":[{"id":11,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":8,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":13,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":4,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":14,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":23,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":15,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":34,"debug_name":null},"args":[{"id":15,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":15,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":3,"debug_name":null},"args":[{"id":14,"debug_name":null},{"id":15,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":16,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":2,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":17,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":1,"debug_name":null},"args":[{"id":17,"debug_name":null},{"id":16,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":18,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":0,"debug_name":null},"args":[{"id":18,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":19,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":4,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":4,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":13,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":13,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":2,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":2,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":36,"debug_name":null},"args":[{"id":19,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":19,"debug_name":null}]}]}},{"Return":[{"id":4,"debug_name":null},{"id":13,"debug_name":null},{"id":2,"debug_name":null},{"id":19,"debug_name":null}]},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":21,"debug_name":null},"args":[{"id":12,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":8,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":20,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":15,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":21,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":20,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":20,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":37,"debug_name":null},"args":[{"id":21,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":21,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":14,"debug_name":null},"args":[{"id":4,"debug_name":null},{"id":20,"debug_name":null},{"id":21,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":22,"debug_name":null},{"id":23,"debug_name":null}]},{"target":{"Statement":242},"results":[{"id":24,"debug_name":null},{"id":25,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":23,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":26,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":13,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":27,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":12,"debug_name":null},"args":[{"id":27,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":28,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":24,"debug_name":null},"args":[{"id":28,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":29,"debug_name":null},{"id":30,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":25,"debug_name":null},"args":[{"id":29,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":11,"debug_name":null},"args":[{"id":30,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":31,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":26,"debug_name":null},"args":[{"id":31,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":32,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":10,"debug_name":null},"args":[{"id":32,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":33,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":27,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":34,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":26,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":26,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":38,"debug_name":null},"args":[{"id":34,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":34,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":39,"debug_name":null},"args":[{"id":33,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":33,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":22,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":22,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":9,"debug_name":null},"args":[{"id":26,"debug_name":null},{"id":2,"debug_name":null},{"id":34,"debug_name":null},{"id":33,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":35,"debug_name":null},{"id":36,"debug_name":null},{"id":37,"debug_name":null}]},{"target":{"Statement":231},"results":[{"id":38,"debug_name":null},{"id":39,"debug_name":null},{"id":40,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":35,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":35,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":35,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":41,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":4,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":42,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":34,"debug_name":null},"args":[{"id":37,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":37,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":3,"debug_name":null},"args":[{"id":42,"debug_name":null},{"id":37,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":43,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":28,"debug_name":null},"args":[{"id":43,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":44,"debug_name":null},{"id":45,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":29,"debug_name":null},"args":[{"id":44,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":8,"debug_name":null},"args":[{"id":45,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":46,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":7,"debug_name":null},"args":[{"id":46,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":47,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":6,"debug_name":null},"args":[{"id":47,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":48,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":22,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":22,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":41,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":41,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":36,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":36,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":36,"debug_name":null},"args":[{"id":48,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":48,"debug_name":null}]}]}},{"Return":[{"id":22,"debug_name":null},{"id":41,"debug_name":null},{"id":36,"debug_name":null},{"id":48,"debug_name":null}]},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":38,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":38,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":38,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":49,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":2,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":50,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":1,"debug_name":null},"args":[{"id":50,"debug_name":null},{"id":40,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":51,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":0,"debug_name":null},"args":[{"id":51,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":52,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":22,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":22,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":49,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":49,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":39,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":39,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":36,"debug_name":null},"args":[{"id":52,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":52,"debug_name":null}]}]}},{"Return":[{"id":22,"debug_name":null},{"id":49,"debug_name":null},{"id":39,"debug_name":null},{"id":52,"debug_name":null}]},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":25,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":53,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":4,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":54,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":30,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":55,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":34,"debug_name":null},"args":[{"id":55,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":55,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":3,"debug_name":null},"args":[{"id":54,"debug_name":null},{"id":55,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":56,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":2,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":57,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":1,"debug_name":null},"args":[{"id":57,"debug_name":null},{"id":56,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":58,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":0,"debug_name":null},"args":[{"id":58,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":59,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":24,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":24,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":53,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":53,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":2,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":2,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":36,"debug_name":null},"args":[{"id":59,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":59,"debug_name":null}]}]}},{"Return":[{"id":24,"debug_name":null},{"id":53,"debug_name":null},{"id":2,"debug_name":null},{"id":59,"debug_name":null}]},{"Invocation":{"libfunc_id":{"id":20,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":31,"debug_name":null},"args":[{"id":3,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[]}]}},{"Invocation":{"libfunc_id":{"id":5,"debug_name":null},"args":[{"id":7,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":60,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":4,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":61,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":30,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":62,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":34,"debug_name":null},"args":[{"id":62,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":62,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":3,"debug_name":null},"args":[{"id":61,"debug_name":null},{"id":62,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":63,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":2,"debug_name":null},"args":[],"branches":[{"target":"Fallthrough","results":[{"id":64,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":1,"debug_name":null},"args":[{"id":64,"debug_name":null},{"id":63,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":65,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":0,"debug_name":null},"args":[{"id":65,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":66,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":32,"debug_name":null},"args":[{"id":6,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":6,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":33,"debug_name":null},"args":[{"id":60,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":60,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":35,"debug_name":null},"args":[{"id":2,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":2,"debug_name":null}]}]}},{"Invocation":{"libfunc_id":{"id":36,"debug_name":null},"args":[{"id":66,"debug_name":null}],"branches":[{"target":"Fallthrough","results":[{"id":66,"debug_name":null}]}]}},{"Return":[{"id":6,"debug_name":null},{"id":60,"debug_name":null},{"id":2,"debug_name":null},{"id":66,"debug_name":null}]}],"funcs":[{"id":{"id":1,"debug_name":"simple_package::HelloStarknet::__wrapper__HelloStarknetImpl__increase_balance"},"signature":{"param_types":[{"id":0,"debug_name":null},{"id":1,"debug_name":null},{"id":2,"debug_name":null},{"id":6,"debug_name":null}],"ret_types":[{"id":0,"debug_name":null},{"id":1,"debug_name":null},{"id":2,"debug_name":null},{"id":11,"debug_name":null}]},"params":[{"id":{"id":0,"debug_name":null},"ty":{"id":0,"debug_name":null}},{"id":{"id":1,"debug_name":null},"ty":{"id":1,"debug_name":null}},{"id":{"id":2,"debug_name":null},"ty":{"id":2,"debug_name":null}},{"id":{"id":3,"debug_name":null},"ty":{"id":6,"debug_name":null}}],"entry_point":0},{"id":{"id":0,"debug_name":"simple_package::HelloStarknet::__wrapper__HelloStarknetImpl__get_balance"},"signature":{"param_types":[{"id":0,"debug_name":null},{"id":1,"debug_name":null},{"id":2,"debug_name":null},{"id":6,"debug_name":null}],"ret_types":[{"id":0,"debug_name":null},{"id":1,"debug_name":null},{"id":2,"debug_name":null},{"id":11,"debug_name":null}]},"params":[{"id":{"id":0,"debug_name":null},"ty":{"id":0,"debug_name":null}},{"id":{"id":1,"debug_name":null},"ty":{"id":1,"debug_name":null}},{"id":{"id":2,"debug_name":null},"ty":{"id":2,"debug_name":null}},{"id":{"id":3,"debug_name":null},"ty":{"id":6,"debug_name":null}}],"entry_point":169}],"debug_info":{"type_names":[],"libfunc_names":[],"user_func_names":[]}} \ No newline at end of file diff --git a/tests/e2e/compile_contract.rs b/tests/e2e/compile_contract.rs index bd05700..8e70c91 100644 --- a/tests/e2e/compile_contract.rs +++ b/tests/e2e/compile_contract.rs @@ -66,6 +66,7 @@ fn wrong_json() { "}); } +#[test_case("1_7_0"; "sierra 1.7.0")] #[test_case("1_6_0"; "sierra 1.6.0")] #[test_case("1_5_0"; "sierra 1.5.0")] #[test_case("1_4_0"; "sierra 1.4.0")] diff --git a/tests/e2e/compile_raw.rs b/tests/e2e/compile_raw.rs index ee7a0db..dfd0574 100644 --- a/tests/e2e/compile_raw.rs +++ b/tests/e2e/compile_raw.rs @@ -81,6 +81,7 @@ fn wrong_json() { "}); } +#[test_case("1_7_0"; "sierra 1.7.0")] #[test_case("1_6_0"; "sierra 1.6.0")] #[test_case("1_5_0"; "sierra 1.5.0")] #[test_case("1_4_0"; "sierra 1.4.0")] diff --git a/tests/integration/compile_contract.rs b/tests/integration/compile_contract.rs index ebd59a2..7e57373 100644 --- a/tests/integration/compile_contract.rs +++ b/tests/integration/compile_contract.rs @@ -12,6 +12,7 @@ fn wrong_json() { assert!(casm_class.is_err()); } +#[test_case("1_7_0"; "sierra 1.7.0")] #[test_case("1_6_0"; "sierra 1.6.0")] #[test_case("1_5_0"; "sierra 1.5.0")] #[test_case("1_4_0"; "sierra 1.4.0")] diff --git a/tests/integration/compile_raw.rs b/tests/integration/compile_raw.rs index 49a713e..b3138d5 100644 --- a/tests/integration/compile_raw.rs +++ b/tests/integration/compile_raw.rs @@ -12,6 +12,7 @@ fn wrong_json() { assert!(cairo_program.is_err()); } +#[test_case("1_7_0"; "sierra 1.7.0")] #[test_case("1_6_0"; "sierra 1.6.0")] #[test_case("1_5_0"; "sierra 1.5.0")] #[test_case("1_4_0"; "sierra 1.4.0")]