Add postconditions in consensus using nagini#20

Open

saltiniroberto wants to merge 2 commits intoethereum:devfrom saltiniroberto:add_postconditions_in_consensus_using_nagini

+14-8

Commits on Dec 21, 2021

Remove asserts from consensus validity checks
saltiniroberto
committed

Commits on Dec 23, 2021

Add postconditions to consensus.py using nagini
saltiniroberto
committed