source: CIVL/mods/dev.civl.com/examples/omp/parallelBad.c@ cb4d4f4

#include <civlc.cvh>

int main() {
  int counter = 0;

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