[tests] Catch Dune exceptions to ease identifying problems.
(cherry picked from commit 23d94ffb) Signed-off-by:Steffen Müthing <muething@dune-project.org>
Showing
Please register or sign in to comment
(cherry picked from commit 23d94ffb) Signed-off-by:Steffen Müthing <muething@dune-project.org>