S52_IntegerSemaphore implements Section 5.2 Integer Semaphore. "To implement an integer semaphore, S, shared among an array X(i:1..100) of client processes. Each process many increment the semaphore by S!V() or delayed if the value of the semaphore is not positive." Solution: S::val:integer; val:=
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected