diff --git a/tests/script-based-pre/playback_print/playback_print.sh b/tests/script-based-pre/playback_print/playback_print.sh index abcade64a218..d8acddb14285 100755 --- a/tests/script-based-pre/playback_print/playback_print.sh +++ b/tests/script-based-pre/playback_print/playback_print.sh @@ -1,8 +1,8 @@ #!/usr/bin/env bash # Copyright Kani Contributors # SPDX-License-Identifier: Apache-2.0 OR MIT -# Test that concrete playback -Z concrete-playback does not override std print -# functions + +# Test that concrete playback does not override std print functions set -o nounset