From ff17efb1ed02691a3685beee5bfb6c5c9d2049ce Mon Sep 17 00:00:00 2001
From: Petr Rockai <me@mornfall.net>
Date: Mon, 13 Jan 2020 01:00:17 +0000
Subject: [PATCH] tools: Do not dump core when divcheck encounters an
unexpected result.
---
tools/divcheck.cpp | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/tools/divcheck.cpp b/tools/divcheck.cpp
index af8135efa..6a015a4b8 100644
--- a/tools/divcheck.cpp
+++ b/tools/divcheck.cpp
@@ -20,3 +20,8 @@ catch ( divine::ui::ResourceLimit &e )
std::cerr << "E: " << e.what() << std::endl;
return 202; /* indicate resource exhausted */
}
+catch ( divcheck::Wrong &w )
+{
+ std::cerr << "E: " << w.what() << std::endl;
+ return 1;
+}
--
GitLab