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
|