Add --enable ana.sv-comp.functions to 20-race-2_1-container_of.c

goblint · Oct 27, 2023 · 6899d44 · 6899d44
1 parent 5a35656
commit 6899d44
Showing 1 changed file with 2 additions and 2 deletions.
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
@@ -1,4 +1,4 @@
-// PARAM: --set ana.activated[+] thread --set ana.path_sens[+] threadflag
+// PARAM: --set ana.activated[+] thread --set ana.path_sens[+] threadflag --enable ana.sv-comp.functions
 #include <pthread.h>
 #include <stdio.h>
 #include <stdlib.h>
@@ -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 = __VERIFIER_nondet_int();
+	int res = magic();
 	if(res)
 		goto exit;
 	//register callback