diff options
| author | Thomas Bauereiss | 2020-04-04 17:16:29 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-21 02:20:11 +0100 |
| commit | 264ab693afa90a1e9fa842f5972f64dc7e06c492 (patch) | |
| tree | fd69cbbc1248faa1a68b4f44616bff84da1a0d84 /src | |
| parent | 1dfbac50e4aa49a59286d2aaf51a6745fb4e5f60 (diff) | |
Save SMT cache when terminating with an exception
Diffstat (limited to 'src')
| -rw-r--r-- | src/sail.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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 |