If a parachain validator has already issued a Seconded statement shared with other para-validators, and after that, the same validator tries to share a validity statement. It is misbehaviour because the validator can't double vote for the same parachain candidate.
So, we have to test that the subsystem reports the misbehaviour if a validator provides a double vote for the same candidate.
candidate: It is a submitted parachain block to the relay chain validators. A parachain block stops being referred to as a candidate as soon it has been finalized
Statement could be either Valid or Seconded. (Seconded for this test)
Seconded: The block is put forward by the para-validator to other para-validators (Implicit validity vote)
Valid: statement that a validator has deemed a candidate valid
If a parachain validator has already issued a
Seconded
statement shared with other para-validators, and after that, the same validator tries to share a validity statement. It is misbehaviour because the validator can't double vote for the same parachain candidate.So, we have to test that the subsystem reports the misbehaviour if a validator provides a double vote for the same candidate.
Valid
orSeconded
. (Seconded for this test)