search

nevillegrech / gigahorse-toolchain

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

Add optional CLI argument for tac gen config file path #127

Closed iliastsa closed 5 months ago

github-actions[bot] commented 5 months ago

Test Results (Souffle 2.3)

48 tests  ±0   48 :white_check_mark: ±0   27m 41s :stopwatch: -22s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit 74a0aa70. ± Comparison against base commit c3fceb56.

github-actions[bot] commented 5 months ago

Test Results (Souffle 2.4)

48 tests  ±0   48 :white_check_mark: ±0   28m 41s :stopwatch: -36s  1 suites ±0    0 :zzz: ±0   1 files   ±0    0 :x: ±0 

Results for commit 74a0aa70. ± Comparison against base commit c3fceb56.