source: CIVL/examples/omp/parallelBad.c@ afc300c

#include <civlc.cvh>

int main() {
  int counter = 0;

  #pragma omp parallel
  if (counter == 0)
    counter++;
  $assert(counter == 1);
}