Bug#982148: frama-c: autopkgtest failure: nothing logged

[Gianfranco Costamagna <locutusofborg@debian.org>]

control: tags -1 patch

Hello, I see two errors:
1) the "set -e" makes the script return on first error, so you can't see in the test why it failed
2) there a missing libwhy3-ocaml-dev dependency triggering the error

diff -Nru frama-c-20201209+titanium/debian/changelog frama-c-20201209+titanium/debian/changelog
--- frama-c-20201209+titanium/debian/changelog  2021-01-11 20:17:46.000000000 +0100
+++ frama-c-20201209+titanium/debian/changelog  2021-02-11 23:09:31.000000000 +0100
@@ -1,3 +1,11 @@
+frama-c (20201209+titanium-4.1) unstable; urgency=medium
+
+  * Non-maintainer upload
+  * Fix new eva test dependencies and return in case of error (Closes:
+    #982148)
+
+ -- Gianfranco Costamagna <locutusofborg@debian.org>  Thu, 11 Feb 2021 23:09:31 +0100
+
 frama-c (20201209+titanium-4) unstable; urgency=medium

   * Add a test for the eva plugin
diff -Nru frama-c-20201209+titanium/debian/tests/control frama-c-20201209+titanium/debian/tests/control
--- frama-c-20201209+titanium/debian/tests/control      2021-01-11 20:17:46.000000000 +0100
+++ frama-c-20201209+titanium/debian/tests/control      2021-02-11 23:09:19.000000000 +0100
@@ -1,5 +1,5 @@
 Tests: eva
-Depends: frama-c-base
+Depends: frama-c-base, why3, libwhy3-ocaml-dev

 Tests: wp
 Depends: frama-c-base, alt-ergo (>= 2.0.0), why3, libwhy3-ocaml-dev
diff -Nru frama-c-20201209+titanium/debian/tests/eva frama-c-20201209+titanium/debian/tests/eva
--- frama-c-20201209+titanium/debian/tests/eva  2021-01-11 20:17:46.000000000 +0100
+++ frama-c-20201209+titanium/debian/tests/eva  2021-02-11 23:09:29.000000000 +0100
@@ -1,6 +1,6 @@
 #!/bin/sh

-set -e
+#set -e

 indir=debian/tests/c
 this=eva