search

edemo / PDEngine

voting engine using ADA authentication and condorcet method
Other
2 stars 12 forks source link

updatable is a vote invariant for create vote #188

Closed magwas closed 5 years ago

magwas commented 5 years ago

Behaviour: Manage votes/create vote;updatable is a vote invariant

@tested_feature("Manage votes")

@tested_operation("create vote")

@tested_behaviour("updatable is a vote invariant")

Deviation in model

colorimeter commented 5 years ago

Define "updatable"

magwas commented 5 years ago

A newly introduced property of the vote. Search the design doc for all of its uses. I mean when I will commit it...