search

nevillegrech / gigahorse-toolchain

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

rewrite of custom fact gen logic #122

Closed GiokaMarkella closed 7 months ago

github-actions[bot] commented 7 months ago

Test Results (Souffle 2.4)

46 tests  ±0   46 :white_check_mark: ±0   23m 50s :stopwatch: -1s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit 78a1c1d5. ± Comparison against base commit 27c61384.

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

github-actions[bot] commented 7 months ago

Test Results (Souffle 2.3)

46 tests  ±0   46 :white_check_mark: ±0   23m 32s :stopwatch: +24s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit 78a1c1d5. ± Comparison against base commit 27c61384.

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