Skip to content

Commit

Permalink
Stabilising produced EVM code (#426)
Browse files Browse the repository at this point in the history 
* Stabilising produced EVM code

* Set Version: 0.1.192

* updating expected outputs

* update expected output

* Set Version: 0.1.193

* Set Version: 0.1.194

* Update expected output

* Update CSE expected output

* Update bytecode in `sum_N` lemma

* Update `split_node` expected output

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Andrei <andrei.vacaru@runtimeverification.com>
Co-authored-by: palinatolmach <polina.tolmach@gmail.com>
  • Loading branch information
@PetarMax @anvacaru @palinatolmach
4 people authored Aug 10, 2024
1 parent aba6042 commit 47b4dba
Show file tree
Hide file tree
Showing 8 changed files with 16 additions and 13 deletions.
3 changes: 3 additions & 0 deletions src/tests/integration/test-data/foundry/foundry.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,3 +4,6 @@ out = 'out'
test = 'test'
extra_output = ['storageLayout', 'abi', 'evm.methodIdentifiers', 'evm.deployedBytecode.object', 'devdoc']
rpc_endpoints = { optimism = "https://optimism.alchemyapi.io/v2/...", mainnet = "${RPC_MAINNET}" }

bytecode_hash = "none"
cbor_metadata = false
2 changes: 1 addition & 1 deletion src/tests/integration/test-data/lemmas.k
View file

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions src/tests/integration/test-data/show/ConstructorTest.init.cse.expected
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion src/tests/integration/test-data/show/ConstructorTest.test_contract_call().cse.expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -77,7 +77,7 @@ module SUMMARY-TEST%CONSTRUCTORTEST.TEST-CONTRACT-CALL():0
( .WordStack => ( selector ( "test_contract_call()" ) : .WordStack ) )
</wordStack>
<localMem>
( b"" => b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\xe4\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15=\x00\x00\x00\x05\x14`lW[`\x00\x80\xfd[4\x80\x15`@W`\x00\x80\xfd[P`I`\x00T\x81V[`@Q\x90\x81R` \x01`@Q\x80\x91\x03\x90\xf3[`j`f6`\x04`\xabV[`\x87V[\x00[4\x80\x15`wW`\x00\x80\xfd[P`j`\x836`\x04`\xabV[`\x99V[\x80`\x00T`\x93\x91\x90`\xc3V[`\x00UPV[`\x03`\x00T\x10\x15`\xa6WPV[`\x00UV[`\x00` \x82\x84\x03\x12\x15`\xbcW`\x00\x80\xfd[P5\x91\x90PV[`\x00\x82\x19\x82\x11\x15`\xe3WcNH{q`\xe0\x1b`\x00R`\x11`\x04R`$`\x00\xfd[P\x01\x90V\xfe\xa2dipfsX\"\x12 \xad9\xf5\xbeI\xa7\xc3\xadG#Z\\\x8e;\xab\x05\xf1T\xad\xe8\x0f\xa7\xfd\xe1-\xd5\xb3}H\xee\xd7\xdedsolcC\x00\x08\r\x003" )
( b"" => b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x10\xe4\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x15=\x00\x00\x00\x05`lW[`\x00\x80\xfd[4\x80\x15`@W`\x00\x80\xfd[P`I`\x00T\x81V[`@Q\x90\x81R` \x01`@Q\x80\x91\x03\x90\xf3[`j`f6`\x04`\xabV[`\x87V[\x00[4\x80\x15`wW`\x00\x80\xfd[P`j`\x836`\x04`\xabV[`\x99V[\x80`\x00T`\x93\x91\x90`\xc3V[`\x00UPV[`\x03`\x00T\x10\x15`\xa6WPV[`\x00UV[`\x00` \x82\x84\x03\x12\x15`\xbcW`\x00\x80\xfd[P5\x91\x90PV[`\x00\x82\x19\x82\x11\x15`\xe3WcNH{q`\xe0\x1b`\x00R`\x11`\x04R`$`\x00\xfd[P\x01\x90V\xfe\xa1dsolcC\x00\x08\r\x00\n" )
</localMem>
<memoryUsed>
0
Expand Down
4 changes: 2 additions & 2 deletions src/tests/integration/test-data/show/Enum.init.cse.expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ module SUMMARY-TEST%ENUM.INIT:0
<ethereum>
<evm>
<output>
( _OUTPUT_CELL => b"`\x80`@R4\x80\x15a\x00\x10W`\x00\x80\xfd[P`\x046\x10a\x006W`\x005`\xe0\x1c\x80cc6\xf6\x1e\x14a\x00;W\x80c\x84|7\xfb\x14a\x00EW[`\x00\x80\xfd[a\x00Ca\x00XV[\x00[a\x00Ca\x00S6`\x04a\x01\xd2V[a\x01~V[`\x00T`@\x80Qch\xaf7\xdf`\xe0\x1b\x81R\x90Q`\x05\x92`\x01`\x01`\xa0\x1b\x03\x16\x91ch\xaf7\xdf\x91`\x04\x80\x83\x01\x92` \x92\x91\x90\x82\x90\x03\x01\x81\x86Z\xfa\x15\x80\x15a\x00\xa2W=`\x00\x80>=`\x00\xfd[PPPP`@Q=`\x1f\x19`\x1f\x82\x01\x16\x82\x01\x80`@RP\x81\x01\x90a\x00\xc6\x91\x90a\x01\xf6V[`\x05\x81\x11\x15a\x00\xd7Wa\x00\xd7a\x02\x13V[\x11\x15a\x00\xe5Wa\x00\xe5a\x02)V[`\x00\x80`\x00\x90T\x90a\x01\x00\n\x90\x04`\x01`\x01`\xa0\x1b\x03\x16`\x01`\x01`\xa0\x1b\x03\x16ch\xaf7\xdf`@Q\x81c\xff\xff\xff\xff\x16`\xe0\x1b\x81R`\x04\x01` `@Q\x80\x83\x03\x81\x86Z\xfa\x15\x80\x15a\x019W=`\x00\x80>=`\x00\xfd[PPPP`@Q=`\x1f\x19`\x1f\x82\x01\x16\x82\x01\x80`@RP\x81\x01\x90a\x01]\x91\x90a\x01\xf6V[`\x05\x81\x11\x15a\x01nWa\x01na\x02\x13V[\x10\x15a\x01|Wa\x01|a\x02)V[V[`\x05\x81`\x05\x81\x11\x15a\x01\x92Wa\x01\x92a\x02\x13V[\x11\x15a\x01\xa0Wa\x01\xa0a\x02)V[`\x00\x81`\x05\x81\x11\x15a\x01\xb4Wa\x01\xb4a\x02\x13V[\x10\x15a\x01\xc2Wa\x01\xc2a\x02)V[PV[`\x06\x81\x10a\x01\xc2W`\x00\x80\xfd[`\x00` \x82\x84\x03\x12\x15a\x01\xe4W`\x00\x80\xfd[\x815a\x01\xef\x81a\x01\xc5V[\x93\x92PPPV[`\x00` \x82\x84\x03\x12\x15a\x02\x08W`\x00\x80\xfd[\x81Qa\x01\xef\x81a\x01\xc5V[cNH{q`\xe0\x1b`\x00R`!`\x04R`$`\x00\xfd[cNH{q`\xe0\x1b`\x00R`\x01`\x04R`$`\x00\xfd\xfe\xa2dipfsX\"\x12 \xc2\xb2\xafL}\xaa\x9fI9\\\x8e\x1a\x82\x03\xeaH\r]\xad\xdf\xcd\xd5\xa1\x97\xbf\xc1\x92\xf3\xa9.\xd2\xdcdsolcC\x00\x08\r\x003" )
( _OUTPUT_CELL => b"`\x80`@R4\x80\x15a\x00\x10W`\x00\x80\xfd[P`\x046\x10a\x006W`\x005`\xe0\x1c\x80cc6\xf6\x1e\x14a\x00;W\x80c\x84|7\xfb\x14a\x00EW[`\x00\x80\xfd[a\x00Ca\x00XV[\x00[a\x00Ca\x00S6`\x04a\x01\xd2V[a\x01~V[`\x00T`@\x80Qch\xaf7\xdf`\xe0\x1b\x81R\x90Q`\x05\x92`\x01`\x01`\xa0\x1b\x03\x16\x91ch\xaf7\xdf\x91`\x04\x80\x83\x01\x92` \x92\x91\x90\x82\x90\x03\x01\x81\x86Z\xfa\x15\x80\x15a\x00\xa2W=`\x00\x80>=`\x00\xfd[PPPP`@Q=`\x1f\x19`\x1f\x82\x01\x16\x82\x01\x80`@RP\x81\x01\x90a\x00\xc6\x91\x90a\x01\xf6V[`\x05\x81\x11\x15a\x00\xd7Wa\x00\xd7a\x02\x13V[\x11\x15a\x00\xe5Wa\x00\xe5a\x02)V[`\x00\x80`\x00\x90T\x90a\x01\x00\n\x90\x04`\x01`\x01`\xa0\x1b\x03\x16`\x01`\x01`\xa0\x1b\x03\x16ch\xaf7\xdf`@Q\x81c\xff\xff\xff\xff\x16`\xe0\x1b\x81R`\x04\x01` `@Q\x80\x83\x03\x81\x86Z\xfa\x15\x80\x15a\x019W=`\x00\x80>=`\x00\xfd[PPPP`@Q=`\x1f\x19`\x1f\x82\x01\x16\x82\x01\x80`@RP\x81\x01\x90a\x01]\x91\x90a\x01\xf6V[`\x05\x81\x11\x15a\x01nWa\x01na\x02\x13V[\x10\x15a\x01|Wa\x01|a\x02)V[V[`\x05\x81`\x05\x81\x11\x15a\x01\x92Wa\x01\x92a\x02\x13V[\x11\x15a\x01\xa0Wa\x01\xa0a\x02)V[`\x00\x81`\x05\x81\x11\x15a\x01\xb4Wa\x01\xb4a\x02\x13V[\x10\x15a\x01\xc2Wa\x01\xc2a\x02)V[PV[`\x06\x81\x10a\x01\xc2W`\x00\x80\xfd[`\x00` \x82\x84\x03\x12\x15a\x01\xe4W`\x00\x80\xfd[\x815a\x01\xef\x81a\x01\xc5V[\x93\x92PPPV[`\x00` \x82\x84\x03\x12\x15a\x02\x08W`\x00\x80\xfd[\x81Qa\x01\xef\x81a\x01\xc5V[cNH{q`\xe0\x1b`\x00R`!`\x04R`$`\x00\xfd[cNH{q`\xe0\x1b`\x00R`\x01`\x04R`$`\x00\xfd\xfe\xa1dsolcC\x00\x08\r\x00\n" )
</output>
<statusCode>
( _STATUSCODE => EVMC_SUCCESS )
Expand All @@ -66,7 +66,7 @@ module SUMMARY-TEST%ENUM.INIT:0
.WordStack
</wordStack>
<localMem>
( b"" => b"`\x80`@R4\x80\x15a\x00\x10W`\x00\x80\xfd[P`\x046\x10a\x006W`\x005`\xe0\x1c\x80cc6\xf6\x1e\x14a\x00;W\x80c\x84|7\xfb\x14a\x00EW[`\x00\x80\xfd[a\x00Ca\x00XV[\x00[a\x00Ca\x00S6`\x04a\x01\xd2V[a\x01~V[`\x00T`@\x80Qch\xaf7\xdf`\xe0\x1b\x81R\x90Q`\x05\x92`\x01`\x01`\xa0\x1b\x03\x16\x91ch\xaf7\xdf\x91`\x04\x80\x83\x01\x92` \x92\x91\x90\x82\x90\x03\x01\x81\x86Z\xfa\x15\x80\x15a\x00\xa2W=`\x00\x80>=`\x00\xfd[PPPP`@Q=`\x1f\x19`\x1f\x82\x01\x16\x82\x01\x80`@RP\x81\x01\x90a\x00\xc6\x91\x90a\x01\xf6V[`\x05\x81\x11\x15a\x00\xd7Wa\x00\xd7a\x02\x13V[\x11\x15a\x00\xe5Wa\x00\xe5a\x02)V[`\x00\x80`\x00\x90T\x90a\x01\x00\n\x90\x04`\x01`\x01`\xa0\x1b\x03\x16`\x01`\x01`\xa0\x1b\x03\x16ch\xaf7\xdf`@Q\x81c\xff\xff\xff\xff\x16`\xe0\x1b\x81R`\x04\x01` `@Q\x80\x83\x03\x81\x86Z\xfa\x15\x80\x15a\x019W=`\x00\x80>=`\x00\xfd[PPPP`@Q=`\x1f\x19`\x1f\x82\x01\x16\x82\x01\x80`@RP\x81\x01\x90a\x01]\x91\x90a\x01\xf6V[`\x05\x81\x11\x15a\x01nWa\x01na\x02\x13V[\x10\x15a\x01|Wa\x01|a\x02)V[V[`\x05\x81`\x05\x81\x11\x15a\x01\x92Wa\x01\x92a\x02\x13V[\x11\x15a\x01\xa0Wa\x01\xa0a\x02)V[`\x00\x81`\x05\x81\x11\x15a\x01\xb4Wa\x01\xb4a\x02\x13V[\x10\x15a\x01\xc2Wa\x01\xc2a\x02)V[PV[`\x06\x81\x10a\x01\xc2W`\x00\x80\xfd[`\x00` \x82\x84\x03\x12\x15a\x01\xe4W`\x00\x80\xfd[\x815a\x01\xef\x81a\x01\xc5V[\x93\x92PPPV[`\x00` \x82\x84\x03\x12\x15a\x02\x08W`\x00\x80\xfd[\x81Qa\x01\xef\x81a\x01\xc5V[cNH{q`\xe0\x1b`\x00R`!`\x04R`$`\x00\xfd[cNH{q`\xe0\x1b`\x00R`\x01`\x04R`$`\x00\xfd\xfe\xa2dipfsX\"\x12 \xc2\xb2\xafL}\xaa\x9fI9\\\x8e\x1a\x82\x03\xeaH\r]\xad\xdf\xcd\xd5\xa1\x97\xbf\xc1\x92\xf3\xa9.\xd2\xdcdsolcC\x00\x08\r\x003" )
( b"" => b"`\x80`@R4\x80\x15a\x00\x10W`\x00\x80\xfd[P`\x046\x10a\x006W`\x005`\xe0\x1c\x80cc6\xf6\x1e\x14a\x00;W\x80c\x84|7\xfb\x14a\x00EW[`\x00\x80\xfd[a\x00Ca\x00XV[\x00[a\x00Ca\x00S6`\x04a\x01\xd2V[a\x01~V[`\x00T`@\x80Qch\xaf7\xdf`\xe0\x1b\x81R\x90Q`\x05\x92`\x01`\x01`\xa0\x1b\x03\x16\x91ch\xaf7\xdf\x91`\x04\x80\x83\x01\x92` \x92\x91\x90\x82\x90\x03\x01\x81\x86Z\xfa\x15\x80\x15a\x00\xa2W=`\x00\x80>=`\x00\xfd[PPPP`@Q=`\x1f\x19`\x1f\x82\x01\x16\x82\x01\x80`@RP\x81\x01\x90a\x00\xc6\x91\x90a\x01\xf6V[`\x05\x81\x11\x15a\x00\xd7Wa\x00\xd7a\x02\x13V[\x11\x15a\x00\xe5Wa\x00\xe5a\x02)V[`\x00\x80`\x00\x90T\x90a\x01\x00\n\x90\x04`\x01`\x01`\xa0\x1b\x03\x16`\x01`\x01`\xa0\x1b\x03\x16ch\xaf7\xdf`@Q\x81c\xff\xff\xff\xff\x16`\xe0\x1b\x81R`\x04\x01` `@Q\x80\x83\x03\x81\x86Z\xfa\x15\x80\x15a\x019W=`\x00\x80>=`\x00\xfd[PPPP`@Q=`\x1f\x19`\x1f\x82\x01\x16\x82\x01\x80`@RP\x81\x01\x90a\x01]\x91\x90a\x01\xf6V[`\x05\x81\x11\x15a\x01nWa\x01na\x02\x13V[\x10\x15a\x01|Wa\x01|a\x02)V[V[`\x05\x81`\x05\x81\x11\x15a\x01\x92Wa\x01\x92a\x02\x13V[\x11\x15a\x01\xa0Wa\x01\xa0a\x02)V[`\x00\x81`\x05\x81\x11\x15a\x01\xb4Wa\x01\xb4a\x02\x13V[\x10\x15a\x01\xc2Wa\x01\xc2a\x02)V[PV[`\x06\x81\x10a\x01\xc2W`\x00\x80\xfd[`\x00` \x82\x84\x03\x12\x15a\x01\xe4W`\x00\x80\xfd[\x815a\x01\xef\x81a\x01\xc5V[\x93\x92PPPV[`\x00` \x82\x84\x03\x12\x15a\x02\x08W`\x00\x80\xfd[\x81Qa\x01\xef\x81a\x01\xc5V[cNH{q`\xe0\x1b`\x00R`!`\x04R`$`\x00\xfd[cNH{q`\xe0\x1b`\x00R`\x01`\x04R`$`\x00\xfd\xfe\xa1dsolcC\x00\x08\r\x00\n" )
</localMem>
<memoryUsed>
0
Expand Down
6 changes: 3 additions & 3 deletions src/tests/integration/test-data/show/ImportedContract.init.cse.expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
│ (48 steps)
├─ 3 (terminal)
│ k: #halt ~> CONTINUATION:K
│ pc: 22
│ pc: 21
│ callDepth: CALLDEPTH_CELL:Int
│ statusCode: EVMC_SUCCESS
│
Expand Down Expand Up @@ -44,7 +44,7 @@ module SUMMARY-TEST%IMPORTEDCONTRACT.INIT:0
<ethereum>
<evm>
<output>
( _OUTPUT_CELL => b"`\x80`@R`\x046\x10`0W`\x005`\xe0\x1c\x80c\x06f\x1a\xbd\x14`5W\x80c\x10\x03\xe2\xd2\x14`[W\x80c`\xfeG\xb1\x14`lW[`\x00\x80\xfd[4\x80\x15`@W`\x00\x80\xfd[P`I`\x00T\x81V[`@Q\x90\x81R` \x01`@Q\x80\x91\x03\x90\xf3[`j`f6`\x04`\xabV[`\x87V[\x00[4\x80\x15`wW`\x00\x80\xfd[P`j`\x836`\x04`\xabV[`\x99V[\x80`\x00T`\x93\x91\x90`\xc3V[`\x00UPV[`\x03`\x00T\x10\x15`\xa6WPV[`\x00UV[`\x00` \x82\x84\x03\x12\x15`\xbcW`\x00\x80\xfd[P5\x91\x90PV[`\x00\x82\x19\x82\x11\x15`\xe3WcNH{q`\xe0\x1b`\x00R`\x11`\x04R`$`\x00\xfd[P\x01\x90V\xfe\xa2dipfsX\"\x12 \xad9\xf5\xbeI\xa7\xc3\xadG#Z\\\x8e;\xab\x05\xf1T\xad\xe8\x0f\xa7\xfd\xe1-\xd5\xb3}H\xee\xd7\xdedsolcC\x00\x08\r\x003" )
( _OUTPUT_CELL => b"`\x80`@R`\x046\x10`0W`\x005`\xe0\x1c\x80c\x06f\x1a\xbd\x14`5W\x80c\x10\x03\xe2\xd2\x14`[W\x80c`\xfeG\xb1\x14`lW[`\x00\x80\xfd[4\x80\x15`@W`\x00\x80\xfd[P`I`\x00T\x81V[`@Q\x90\x81R` \x01`@Q\x80\x91\x03\x90\xf3[`j`f6`\x04`\xabV[`\x87V[\x00[4\x80\x15`wW`\x00\x80\xfd[P`j`\x836`\x04`\xabV[`\x99V[\x80`\x00T`\x93\x91\x90`\xc3V[`\x00UPV[`\x03`\x00T\x10\x15`\xa6WPV[`\x00UV[`\x00` \x82\x84\x03\x12\x15`\xbcW`\x00\x80\xfd[P5\x91\x90PV[`\x00\x82\x19\x82\x11\x15`\xe3WcNH{q`\xe0\x1b`\x00R`\x11`\x04R`$`\x00\xfd[P\x01\x90V\xfe\xa1dsolcC\x00\x08\r\x00\n" )
</output>
<statusCode>
( _STATUSCODE => EVMC_SUCCESS )
Expand All @@ -66,7 +66,7 @@ module SUMMARY-TEST%IMPORTEDCONTRACT.INIT:0
.WordStack
</wordStack>
<localMem>
( b"" => b"`\x80`@R`\x046\x10`0W`\x005`\xe0\x1c\x80c\x06f\x1a\xbd\x14`5W\x80c\x10\x03\xe2\xd2\x14`[W\x80c`\xfeG\xb1\x14`lW[`\x00\x80\xfd[4\x80\x15`@W`\x00\x80\xfd[P`I`\x00T\x81V[`@Q\x90\x81R` \x01`@Q\x80\x91\x03\x90\xf3[`j`f6`\x04`\xabV[`\x87V[\x00[4\x80\x15`wW`\x00\x80\xfd[P`j`\x836`\x04`\xabV[`\x99V[\x80`\x00T`\x93\x91\x90`\xc3V[`\x00UPV[`\x03`\x00T\x10\x15`\xa6WPV[`\x00UV[`\x00` \x82\x84\x03\x12\x15`\xbcW`\x00\x80\xfd[P5\x91\x90PV[`\x00\x82\x19\x82\x11\x15`\xe3WcNH{q`\xe0\x1b`\x00R`\x11`\x04R`$`\x00\xfd[P\x01\x90V\xfe\xa2dipfsX\"\x12 \xad9\xf5\xbeI\xa7\xc3\xadG#Z\\\x8e;\xab\x05\xf1T\xad\xe8\x0f\xa7\xfd\xe1-\xd5\xb3}H\xee\xd7\xdedsolcC\x00\x08\r\x003" )
( b"" => b"`\x80`@R`\x046\x10`0W`\x005`\xe0\x1c\x80c\x06f\x1a\xbd\x14`5W\x80c\x10\x03\xe2\xd2\x14`[W\x80c`\xfeG\xb1\x14`lW[`\x00\x80\xfd[4\x80\x15`@W`\x00\x80\xfd[P`I`\x00T\x81V[`@Q\x90\x81R` \x01`@Q\x80\x91\x03\x90\xf3[`j`f6`\x04`\xabV[`\x87V[\x00[4\x80\x15`wW`\x00\x80\xfd[P`j`\x836`\x04`\xabV[`\x99V[\x80`\x00T`\x93\x91\x90`\xc3V[`\x00UPV[`\x03`\x00T\x10\x15`\xa6WPV[`\x00UV[`\x00` \x82\x84\x03\x12\x15`\xbcW`\x00\x80\xfd[P5\x91\x90PV[`\x00\x82\x19\x82\x11\x15`\xe3WcNH{q`\xe0\x1b`\x00R`\x11`\x04R`$`\x00\xfd[P\x01\x90V\xfe\xa1dsolcC\x00\x08\r\x00\n" )
</localMem>
<memoryUsed>
0
Expand Down
Loading

0 comments on commit 47b4dba

Please sign in to comment.