diff --git a/regression/goto-instrument/slice02/test.desc b/regression/goto-instrument/slice02/test.desc index 2d61905c826..362da05d33c 100644 --- a/regression/goto-instrument/slice02/test.desc +++ b/regression/goto-instrument/slice02/test.desc @@ -1,4 +1,4 @@ -CORE +KNOWNBUG main.c --pointer-check --full-slice ^EXIT=0$