search

nevillegrech / gigahorse-toolchain

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

Fix tight-packing bug based on example, add it as a test. #84

Closed sifislag closed 1 year ago

sifislag commented 1 year ago

Fix bug in storage-modeling/tight-packing.dl, based on this contract.

Will test at scale and then merge.

github-actions[bot] commented 1 year ago

Test Results (Souffle 2.4)

39 tests   39 :heavy_check_mark:  18m 4s :stopwatch:   1 suites    0 :zzz:   1 files      0 :x:

Results for commit 56e757a8.

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

github-actions[bot] commented 1 year ago

Test Results (Souffle 2.3)

39 tests   39 :heavy_check_mark:  19m 18s :stopwatch:   1 suites    0 :zzz:   1 files      0 :x:

Results for commit 56e757a8.

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