search

runtimeverification / evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)
BSD 3-Clause "New" or "Revised" License
506 stars 140 forks source link

Forcing sequential proof advancement in CI #2608

Closed PetarMax closed 3 weeks ago

PetarMax commented 4 weeks ago

This is an attempt to stabilise the flakiness of tests in CI, specifically functional ones, by forcing the use of sequential proof advance rather than the parallel one with a single thread.

PetarMax commented 4 weeks ago

The only way I have of assessing this is that the functional tests passed immediately here whereas I had to re-run them in almost every run of every other PR in the past several days.

PetarMax commented 3 weeks ago

I've had five passes of the functional lemmas across three PRs, I think this is good to go.