distributed-validator-specs icon indicating copy to clipboard operation
distributed-validator-specs copied to clipboard

Published 20 hours ago • verified publisher icon ethereum

If nagini is eventually used, then the documentation needs to be updated.

Open saltiniroberto opened this issue 3 years ago • 0 comments

If nagini is eventually adopted to express pre and postconditions (see PR #20 ), then the documentation must indicate that nagini has been used for specification purposes only. The spec is not expected to be verifiable by the nagini tool.

saltiniroberto avatar Dec 23 '21 13:12 saltiniroberto