search

nevillegrech / gigahorse-toolchain

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

Minor change in transactional #88

Closed sifislag closed 1 year ago

sifislag commented 1 year ago

Ensure possible BlockPushesLabel var escapes the block. This makes no change in current master but helps with optimizations we may want to enable soon.

github-actions[bot] commented 1 year ago

Test Results (Souffle 2.4)

39 tests   38 :heavy_check_mark:  19m 22s :stopwatch:   1 suites    0 :zzz:   1 files      1 :x:

For more details on these failures, see this check.

Results for commit f5aa7111.

github-actions[bot] commented 1 year ago

Test Results (Souffle 2.3)

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

For more details on these failures, see this check.

Results for commit f5aa7111.

sifislag commented 1 year ago

Test failure unrelated to this PR. Probably caused by recent https://github.com/nevillegrech/gigahorse-toolchain/commit/4c99c8f1ed3278ee2526257b16e0967b758adc4c @yanniss