search

nevillegrech / gigahorse-toolchain

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

Fix tight packing storage variable inference bug (affecting initializable) #133

Closed sifislag closed 3 months ago

github-actions[bot] commented 3 months ago

Test Results (Souffle 2.3)

54 tests  +2   54 :white_check_mark: +2   32m 19s :stopwatch: + 1m 18s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit 5c88b478. ± Comparison against base commit 6bc1fde8.

:recycle: This comment has been updated with latest results.

github-actions[bot] commented 3 months ago

Test Results (Souffle 2.4)

54 tests  +2   54 :white_check_mark: +2   34m 30s :stopwatch: + 2m 57s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit 5c88b478. ± Comparison against base commit 6bc1fde8.

:recycle: This comment has been updated with latest results.