Open magwas opened 5 years ago
Behaviour: Vote/Compute vote results;the winners list marks the condorcet winner
@tested_feature("Vote")
@tested_operation("Compute vote results")
@tested_behaviour("the winners list marks the condorcet winner")
if any
Deviation in model
Behaviour: Vote/Compute vote results;the winners list marks the condorcet winner
@tested_feature("Vote")
@tested_operation("Compute vote results")
@tested_behaviour("the winners list marks the condorcet winner")
if any
Deviation in model