search

edemo / PDEngine

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

number of issued ballots are recorded for admin #194

Closed magwas closed 5 years ago

magwas commented 5 years ago

Behaviour: Manage votes/Obtain ballot;the number of ballots obtained with adminKey are recorded for "admin"

@tested_feature("Manage votes")

@tested_operation("Obtain ballot")

@tested_behaviour("the number of ballots obtained with adminKey are recorded for "admin"")

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

Deviation in model