search

edemo / PDEngine

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

No choices can be modified if the vote have issued ballots #163

Closed magwas closed 5 years ago

magwas commented 5 years ago

@tested_feature("Manage votes") @tested_operation("modify choice") @tested_behaviour("No choices can bemodified if the vote have issued ballots.")

A testable aspect of function: a set of pre- and postconditions.

Deviation in model