search

edemo / PDEngine

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

calculateWinners adds winners to ignoredChoices #248

Open magwas opened 5 years ago

magwas commented 5 years ago

Behaviour: Schulze method/calculate winners;winners are added to ignoredChoices

@tested_feature("Schulze method")

@tested_operation("calculate winners")

@tested_behaviour("winners are added to ignoredChoices")

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

Deviation in model

valentinbujdoso commented 5 years ago

grab