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 fix autopkgtest wp - - - - - 3 changed files: - debian/changelog - debian/tests/control - debian/tests/wp Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,10 @@ +frama-c (20220511-manganese-2) unstable; urgency=medium + + * Fix properly the failing autopkgtest "wp" : spurious warning by "why3 + config" has to be sent to /dev/null. + + -- Ralf Treinen <[email protected]> Sun, 23 Oct 2022 12:25:38 +0200 + frama-c (20220511-manganese-1.3) unstable; urgency=medium * Tighten the dep on newer why3 also for autopkgtest. ===================================== debian/tests/control ===================================== @@ -3,4 +3,4 @@ Depends: frama-c-base, why3, libwhy3-ocaml-dev (>= 1.5.0) Tests: wp Depends: frama-c-base, alt-ergo (>= 2.0.0), why3, libwhy3-ocaml-dev (>= 1.5.0) -Restrictions: skip-not-installable, allow-stderr +Restrictions: skip-not-installable ===================================== debian/tests/wp ===================================== @@ -8,7 +8,7 @@ outdir=${ADT_ARTIFACTS:-/tmp}/${this} mkdir -p ${outdir} export WHY3CONFIG=${outdir}/why3.conf -why3 config detect > /dev/null +why3 config detect > /dev/null 2>&1 frama-c -wp ${indir}/all_zeros.c > ${outdir}/${this}.out if $(egrep -q "Proved goals:[[:space:]]*11 / 11" ${outdir}/${this}.out) then View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/7dab45e6ca77901bdeeb957dafd497a2cfc9dbfa -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/7dab45e6ca77901bdeeb957dafd497a2cfc9dbfa You're receiving this email because of your account on salsa.debian.org.
