search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
299 stars 63 forks source link

Storage minor refactor #155

Closed sifislag closed 1 month ago

sifislag commented 1 month ago

Introduce reusable DataStructure_ValueOrElementType relation, simplify code with it. Some documentation.

github-actions[bot] commented 1 month ago

Test Results (Souffle 2.4)

57 tests  ±0   57 :white_check_mark: ±0   39m 59s :stopwatch: - 3m 13s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit c7250902. ± Comparison against base commit bb8f65c4.

github-actions[bot] commented 1 month ago

Test Results (Souffle 2.3)

57 tests  ±0   57 :white_check_mark: ±0   41m 12s :stopwatch: + 1m 39s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit c7250902. ± Comparison against base commit bb8f65c4.