1 Tests Sem_2401_GlobalVerdict_xxx validate the following requirements:
2 there is a global test case verdict instantiated and handled by the test system that is
3 updated when each test component (i.e. the MTC and each and every PTC)
4 terminates execution (see figure 14).
5 ... The test case verdict is implicitly updated on the termination of a test
6 component. The effect of this implicit operation shall also follow the overwriting rules listed in table 30
7 ... The value of this verdict shall be returned by the test case when it terminates execution.
9 Tests Sem_2401_LocalVerdict_xxx validate the following requirements:
10 When changing the value of the local verdict (i.e. using the setverdict operation) the effect of this change shall
11 follow the overwriting rules listed in table 30.