search

nevillegrech / gigahorse-toolchain

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

Cleanup `decompiler_output.dl` #103

Closed sifislag closed 1 year ago

sifislag commented 1 year ago

Remove unused ouputs, rearrange a bit.

github-actions[bot] commented 1 year ago

Test Results (Souffle 2.3)

43 tests  ±0   43 :heavy_check_mark: ±0   18m 21s :stopwatch: - 5m 27s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit e6c12ee4. ± Comparison against base commit 8e3a5161.

github-actions[bot] commented 1 year ago

Test Results (Souffle 2.4)

43 tests  ±0   43 :heavy_check_mark: ±0   21m 41s :stopwatch: +51s   1 suites ±0     0 :zzz: ±0    1 files   ±0     0 :x: ±0 

Results for commit e6c12ee4. ± Comparison against base commit 8e3a5161.