Task pthread-demo-datarace-2.i contains a race
The modified benchmark clearly contains a data race on variable myglobal
.
In such cases we normally
- remove the
unreach-call
property, - change
no-data-race
to false, and - create a fix version of the benchmark.
This PR implements the first two points. I don't see the point of doing the 3rd because a fixed version of this task (using locks) is given by pthread-demo-datarace-1.c