search

edemo / PDEngine

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

update assurances #233

Open magwas opened 5 years ago

magwas commented 5 years ago

Behaviour: Vote/update assurances;Updates all the User entities with the current set of assurances

@tested_feature("Vote")

@tested_operation("update assurances")

@tested_behaviour("Updates all the User entities with the current set of assurances")

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

Deviation in model