Merge branch 'master' into issue-392

goblint · Oct 29, 2023 · 741781e · 741781e
2 parents 05d6d0e + 2c0a08f
commit 741781e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/10-synch/20-race-2_1-container_of.c b/tests/regression/10-synch/20-race-2_1-container_of.c
@@ -60,7 +60,7 @@ int my_drv_probe(struct my_data *data) {
 	ldv_assert(data->shared.a==0); // NORACE
 	ldv_assert(data->shared.b==0); // NORACE
 
-	int res = magic();
+	int res = __VERIFIER_nondet_int();
 	if(res)
 		goto exit;
 	//register callback