search

nevillegrech / gigahorse-toolchain

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

support for `mcopy` in `ArrayCopy` predicate #129

Closed sifislag closed 4 months ago

github-actions[bot] commented 4 months ago

Test Results (Souffle 2.3)

49 tests  +1   49 :white_check_mark: +1   27m 59s :stopwatch: ±0s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit 01d99e6c. ± Comparison against base commit c5f78e0e.

github-actions[bot] commented 4 months ago

Test Results (Souffle 2.4)

49 tests  +1   49 :white_check_mark: +1   29m 48s :stopwatch: -14s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit 01d99e6c. ± Comparison against base commit c5f78e0e.