Assertion: semaphore's value | /r/HasProperty | different
Facets:
value: in the above two cases
type: OTHER
value: in 1st case
type: TEMPORAL
Source sentences:
text: In the above two cases, after the execution of the two processes P1 and P2, the final value of "a" is different i.e. in 1st case it is 20 and in 2nd case, it is 15.
text: If you have more than one instance and the values of PROCESSES are different, you may want to make SEMMSL equal to the lowest PROCESSES so that you don't allocate semaphores that will not be used.