search

nevillegrech / gigahorse-toolchain

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

Map cloned/inserted statements to a corresponding original bytecode statement #115

Closed ibollanos closed 8 months ago

github-actions[bot] commented 10 months ago

Test Results (Souffle 2.4)

46 tests  ±0   46 :heavy_check_mark: ±0   18m 8s :stopwatch: -31s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 05c4e1a4. ± Comparison against base commit 1d2775b7.

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

github-actions[bot] commented 10 months ago

Test Results (Souffle 2.3)

46 tests  ±0   46 :heavy_check_mark: ±0   18m 7s :stopwatch: +20s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 05c4e1a4. ± Comparison against base commit 1d2775b7.

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