From 264ab693afa90a1e9fa842f5972f64dc7e06c492 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Sat, 4 Apr 2020 17:16:29 +0100
Subject: Save SMT cache when terminating with an exception

---
 src/sail.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/sail.ml b/src/sail.ml
index ea642470..b2ca498a 100644
--- a/src/sail.ml
+++ b/src/sail.ml
@@ -597,4 +597,5 @@ let _ = try
   with Reporting.Fatal_error e ->
     Reporting.print_error e;
     Interactive.opt_suppress_banner := true;
+    if !opt_memo_z3 then Constraint.save_digests () else ();
     if !Interactive.opt_interactive then () else exit 1
-- 
cgit v1.2.3