Add postconditions in consensus using nagini#20

saltiniroberto wants to merge 2 commits intoethereum:devethereum/distributed-validator-specs:devfrom

saltiniroberto:add_postconditions_in_consensus_using_naginisaltiniroberto/distributed-validator-specs:add_postconditions_in_consensus_using_naginiCopy head branch name to clipboard