projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 0811ba4)
Proper initialization and destruction of sygus unif (#1750)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 4 Apr 2018 23:17:02 +0000 (18:17 -0500)
committerAndres Noetzli <andres.noetzli@gmail.com>
Wed, 4 Apr 2018 23:17:02 +0000 (16:17 -0700)
src/theory/quantifiers/sygus/sygus_unif.cpp patch | blob | history
src/theory/quantifiers/sygus/sygus_unif.h patch | blob | history

diff --git a/src/theory/quantifiers/sygus/sygus_unif.cpp b/src/theory/quantifiers/sygus/sygus_unif.cpp
index 4fcfd50eb68ae9d761506987d80725cd6baa9a9c..ab2b06a82e2e670f9559fdcd4a21bc5574fedf52 100644 (file)
--- a/src/theory/quantifiers/sygus/sygus_unif.cpp
+++ b/src/theory/quantifiers/sygus/sygus_unif.cpp
@@ -27,6 +27,7 @@ namespace theory {
 namespace quantifiers {
 
 SygusUnif::SygusUnif()
+    : d_qe(nullptr), d_tds(nullptr), d_check_sol(false), d_cond_count(0)
 {
 }
 
diff --git a/src/theory/quantifiers/sygus/sygus_unif.h b/src/theory/quantifiers/sygus/sygus_unif.h
index a2e81040a9d89e68ca685362f0b98ecb5cbdd593..728d613b2256fed859543849c83087738e790c1b 100644 (file)
--- a/src/theory/quantifiers/sygus/sygus_unif.h
+++ b/src/theory/quantifiers/sygus/sygus_unif.h
@@ -49,7 +49,7 @@ class SygusUnif
 {
  public:
   SygusUnif();
-  ~SygusUnif();
+  virtual ~SygusUnif();
 
   /** initialize
    *