Behaviour: Vote/Compute vote results;calculates and stores beatpath matrix
@tested_feature("Vote")
@tested_operation("Compute vote results")
@tested_behaviour("calculates and stores beatpath matrix")
by normalizing the initial beat matrix, and doing transitive closure the beatpath matrix computation does not affect the initial beat matrix (done on a copy)
Behaviour: Vote/Compute vote results;calculates and stores beatpath matrix
@tested_feature("Vote")
@tested_operation("Compute vote results")
@tested_behaviour("calculates and stores beatpath matrix")
by normalizing the initial beat matrix, and doing transitive closure the beatpath matrix computation does not affect the initial beat matrix (done on a copy)
Deviation in model