search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
290 stars 59 forks source link

Fixes for merged vars. #130

Closed sifislag closed 4 months ago

sifislag commented 4 months ago

Prefer var over const for the same index, get type info in StorageVariableType.

github-actions[bot] commented 4 months ago

Test Results (Souffle 2.3)

48 tests  ±0   48 :white_check_mark: ±0   27m 38s :stopwatch: -21s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit 6b2f8e03. ± Comparison against base commit c5f78e0e.

github-actions[bot] commented 4 months ago

Test Results (Souffle 2.4)

48 tests  ±0   48 :white_check_mark: ±0   29m 30s :stopwatch: -32s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit 6b2f8e03. ± Comparison against base commit c5f78e0e.