We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 7a4328a + 5963181 commit 02d698eCopy full SHA for 02d698e
.github/workflows/pull-request-checks.yaml
@@ -343,8 +343,6 @@ jobs:
343
export PATH=$PWD/bin:$PATH
344
cd ../regression/cbmc
345
sed -i '1s/^CORE\(.*\)broken-smt-backend/KNOWNBUG\1broken-smt-backend/' */*.desc
346
- # the following test fails on some Unix systems
347
- git checkout -- r_w_ok6
348
# the following tests fail on Windows only
349
git checkout -- memory_allocation1 printf1 union12 va_list3
350
../test.pl -c "cbmc --cprover-smt2" -I broken-smt-backend -K
regression/cbmc/r_w_ok6/test.desc
@@ -1,4 +1,4 @@
1
-CORE broken-smt-backend
+CORE
2
main.c
3
4
\[main.assertion.1\] .*: SUCCESS
0 commit comments