search

nevillegrech / gigahorse-toolchain

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

Various memory modeling improvements #114

Closed sifislag closed 10 months ago

github-actions[bot] commented 10 months ago

Test Results (Souffle 2.3)

46 tests  +1   46 :heavy_check_mark: +1   22m 1s :stopwatch: - 4m 23s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 6b911048. ± Comparison against base commit b6aad2b2.

github-actions[bot] commented 10 months ago

Test Results (Souffle 2.4)

46 tests  +1   46 :heavy_check_mark: +1   32m 47s :stopwatch: + 9m 57s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit 6b911048. ± Comparison against base commit b6aad2b2.