Skip to content
Unverified Commit 0919abd2 authored by eskimor's avatar eskimor Committed by GitHub
Browse files

Backport #5427 (#5455)



`validity_vote` function is also called from `import_statement` not only
from `import_candidate`. The proof still holds if we assume seconded
statements always come before valid statements, which should be the case
but is not actually enforced by this module at all. On top of this the
proof is not local.

Co-authored-by: default avatareskimor <[email protected]>
parent 88d89004
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment