diff --git a/tests/regression/46-apron2/96-witness-mm-escape2.c b/tests/regression/46-apron2/96-witness-mm-escape2.c index 22384b9238..c7e57908ca 100644 --- a/tests/regression/46-apron2/96-witness-mm-escape2.c +++ b/tests/regression/46-apron2/96-witness-mm-escape2.c @@ -1,4 +1,4 @@ -// CRAM PARAM: --set ana.activated[+] apron --set ana.path_sens[+] threadflag --set ana.relation.privatization mutex-meet-tid-cluster12 --set witness.yaml.validate 95-witness-mm-escape.yml +// CRAM PARAM: --set ana.activated[+] apron --set ana.path_sens[+] threadflag --enable warn.deterministic --set ana.relation.privatization mutex-meet-tid-cluster12 --set witness.yaml.validate 95-witness-mm-escape.yml #include int *b; pthread_mutex_t e;