search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
295 stars 61 forks source link

Fix double Statement_Opcode() fact produced for PUSH0 statements. #86

Closed sifislag closed 1 year ago

github-actions[bot] commented 1 year ago

Test Results (Souffle 2.4)

39 tests   39 :heavy_check_mark:  18m 5s :stopwatch:   1 suites    0 :zzz:   1 files      0 :x:

Results for commit d0fa3b48.

github-actions[bot] commented 1 year ago

Test Results (Souffle 2.3)

39 tests   38 :heavy_check_mark:  21m 46s :stopwatch:   1 suites    0 :zzz:   1 files      1 :x:

For more details on these failures, see this check.

Results for commit d0fa3b48.