BlockingQueueDebug.cfg

\* SPECIFICATION
CONSTANTS
    BufCapacity = 1
    Producers = {p1,p2}
    Consumers = {c1}

INIT Init
NEXT Next

ACTION_CONSTRAINT NoDeadLock