Open magwas opened 5 years ago
Behaviour: Schulze method/calculate winners;only choices not in ignoredChoices are considered
@tested_feature("Schulze method")
@tested_operation("calculate winners")
@tested_behaviour("only choices not in ignoredChoices are considered")
A testable aspect of function: a set of pre- and postconditions.
Deviation in model
grab
Behaviour: Schulze method/calculate winners;only choices not in ignoredChoices are considered
@tested_feature("Schulze method")
@tested_operation("calculate winners")
@tested_behaviour("only choices not in ignoredChoices are considered")
A testable aspect of function: a set of pre- and postconditions.
Deviation in model