Ralf Treinen pushed to branch master at Debian OCaml Maintainers / frama-c
Commits:
-
7dab45e6
by Ralf Treinen at 2022-10-23T12:27:09+02:00
3 changed files:
Changes:
1 | +frama-c (20220511-manganese-2) unstable; urgency=medium
|
|
2 | + |
|
3 | + * Fix properly the failing autopkgtest "wp" : spurious warning by "why3
|
|
4 | + config" has to be sent to /dev/null.
|
|
5 | + |
|
6 | + -- Ralf Treinen <treinen@debian.org> Sun, 23 Oct 2022 12:25:38 +0200
|
|
7 | + |
|
1 | 8 | frama-c (20220511-manganese-1.3) unstable; urgency=medium
|
2 | 9 | |
3 | 10 | * Tighten the dep on newer why3 also for autopkgtest.
|
... | ... | @@ -3,4 +3,4 @@ Depends: frama-c-base, why3, libwhy3-ocaml-dev (>= 1.5.0) |
3 | 3 | |
4 | 4 | Tests: wp
|
5 | 5 | Depends: frama-c-base, alt-ergo (>= 2.0.0), why3, libwhy3-ocaml-dev (>= 1.5.0)
|
6 | -Restrictions: skip-not-installable, allow-stderr |
|
6 | +Restrictions: skip-not-installable |
... | ... | @@ -8,7 +8,7 @@ outdir=${ADT_ARTIFACTS:-/tmp}/${this} |
8 | 8 | mkdir -p ${outdir}
|
9 | 9 | export WHY3CONFIG=${outdir}/why3.conf
|
10 | 10 | |
11 | -why3 config detect > /dev/null
|
|
11 | +why3 config detect > /dev/null 2>&1
|
|
12 | 12 | frama-c -wp ${indir}/all_zeros.c > ${outdir}/${this}.out
|
13 | 13 | if $(egrep -q "Proved goals:[[:space:]]*11 / 11" ${outdir}/${this}.out)
|
14 | 14 | then
|