Fix accident in 20 10 test

goblint · Oct 29, 2023 · 2c0a08f · 2c0a08f
1 parent 6899d44
commit 2c0a08f
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