modify test-comp.c

OCamlPro · Jun 14, 2024 · 895006b · 895006b
1 parent 69fed58
commit 895006b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/libc/src/test-comp.c b/src/libc/src/test-comp.c
@@ -2,7 +2,7 @@
 
 _Bool __VERIFIER_nondet_bool(void) {
   _Bool var = owi_i32();
-  owi_assume(or_(var == 0, var == 1));
+  owi_assume(var == 0 || var == 1);
   return var;
 }