search

edemo / PDEngine

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

result contains the cast votes identifiers #217

Open magwas opened 5 years ago

magwas commented 5 years ago

Behaviour: Vote/Compute vote results;vote result includes the votes cast with the secret cast vote identifier.

@tested_feature("Vote")

@tested_operation("Compute vote results")

@tested_behaviour("vote result includes the votes cast with the secret cast vote identifier.")

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

Deviation in model

valentinbujdoso commented 5 years ago

grab

valentinbujdoso commented 5 years ago

Done