search

edemo / PDEngine

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

updatable is a vote invariant for set vote parameters #190

Open magwas opened 5 years ago

magwas commented 5 years ago

Behaviour: Manage votes/set vote parameters;updatable is a vote invariant

@tested_feature("Manage votes")

@tested_operation("set vote parameters")

@tested_behaviour("updatable is a vote invariant")

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

Deviation in model