Behaviour: Vote/Compute vote results;the result contains tallying for each counted assurances @tested_feature("Vote") @tested_operation("Compute vote results") @tested_behaviour("the result contains tallying for each counted assurances") A testable aspect of function: a set of pre- and postconditions. [Deviation in model](http://adadocs.demokracia.rulez.org/PDEngine/edemo/master/index.html#7f02363b-d542-483a-8a14-9780b27bfe7d-713a3fb0-7a41-4011-b572-b988e933af20-be29dae1-a412-41a1-a263-2db477db0e4c) <!--- @huboard:{"order":0.9950328177458954,"milestone_order":207,"custom_state":""} -->
Behaviour: Vote/Compute vote results;the result contains tallying for each counted assurances
@tested_feature("Vote")
@tested_operation("Compute vote results")
@tested_behaviour("the result contains tallying for each counted assurances")
A testable aspect of function: a set of pre- and postconditions.
Deviation in model