search

nevillegrech / gigahorse-toolchain

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

Clients get the full timeout as well. #100

Closed sifislag closed 1 year ago

sifislag commented 1 year ago

Changing the behavior of gigahorse.py to restart the timer after decompilation, giving client analyses more time.

github-actions[bot] commented 1 year ago

Test Results (Souffle 2.3)

42 tests  ±0   42 :heavy_check_mark: ±0   20m 1s :stopwatch: - 5m 4s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 14acd8d7. ± Comparison against base commit 7d916828.

github-actions[bot] commented 1 year ago

Test Results (Souffle 2.4)

42 tests  ±0   42 :heavy_check_mark: ±0   24m 54s :stopwatch: + 6m 30s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 14acd8d7. ± Comparison against base commit 7d916828.