Fixing a bug: mapping state to event has to be done after the execution termination...
[jpf-core.git] / examples / ConcurrentCount.jpf
examples/ConcurrentCount.jpf