Fix test 13/67: https://gitlab.com/sosy-lab/benchmarking/sv-benchmark…

…s/-/merge_requests/1336
goblint · Nov 8, 2021 · 9efcd90 · 9efcd90
1 parent d63c729
commit 9efcd90
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tests/regression/13-privatized/67-pthread_cond_wait.c b/tests/regression/13-privatized/67-pthread_cond_wait.c
@@ -12,7 +12,8 @@ void* f1(void* ptr) {
     pthread_mutex_lock(&mut);
     g = 1;
     pthread_cond_wait(&cond,&mut);
-    assert(g == 0); // TODO (no cond-flow support)
+    assert(g == 0); //UNKNOWN!
+    assert(g != 1); //UNKNOWN!
     printf("g is %i", g);
     g = 0;
     pthread_mutex_unlock(&mut);