search

edemo / PDEngine

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

filterVotes #244

Open magwas opened 5 years ago

magwas commented 5 years ago

Behaviour: Supporting functionality/filter votes;the output of the filter contains all votes with the given assurance

@tested_feature("Supporting functionality")

@tested_operation("filter votes")

@tested_behaviour("the output of the filter contains all votes with the given assurance")

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

Deviation in model

valentinbujdoso commented 5 years ago

So we get a List castVotes as an incoming param and we send back a List result. However is not clear for me where can I find the given assurance?

szirbucz commented 5 years ago

szirbucz