Skip to content

Commit

Permalink
Add --enable ana.sv-comp.functions to 20-race-2_1-container_of.c
Browse files Browse the repository at this point in the history
  • Loading branch information
karoliineh committed Oct 27, 2023
1 parent 5a35656 commit 6899d44
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions tests/regression/10-synch/20-race-2_1-container_of.c
Original file line number Diff line number Diff line change
@@ -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>
Expand Down Expand Up @@ -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
Expand Down

0 comments on commit 6899d44

Please sign in to comment.