Assertion: semaphore's counter | /r/HasProperty | new mydemo(sem
Facets:
Source sentences:
text: Y // Here thread X will increment and Y will decrement the counter MyDemo md1 = new MyDemo(sem, "X"); MyDemo md2 = new MyDemo(sem, "Y");