search

nevillegrech / gigahorse-toolchain

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

Update souffle to 2.4.1 in tests #121

Open sifislag opened 7 months ago

sifislag commented 7 months ago

Souffle 2.4.1 not uploaded yet (https://github.com/souffle-lang/ppa/tree/main/ubuntu/pool/stable). Created issue https://github.com/souffle-lang/ppa/issues/1.

github-actions[bot] commented 7 months ago

Test Results (Souffle 2.4.1)

0 tests   0 :white_check_mark:  0s :stopwatch: 0 suites  0 :zzz: 0 files    0 :x:

Results for commit 2bc3726b.

github-actions[bot] commented 7 months ago

Test Results (Souffle 2.3)

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

Results for commit 2bc3726b. ± Comparison against base commit 7d0faaa5.