From b54181ff9b60621c2dd05b820818107330178f17 Mon Sep 17 00:00:00 2001
From: Vincent Imbimbo <vmi6@cornell.edu>
Date: Thu, 21 May 2020 22:13:15 -0400
Subject: cex: fix miscellaneous leaks

* src/counterexample.c (unifying_counterexample): Always free
stage3result when it exists.
* src/conflicts.c (report_state_counterexamples): free leaked bitset.
* src/state-item.c (prune_disabled_paths): free leaked queue.
---
 src/conflicts.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/conflicts.c')

diff --git a/src/conflicts.c b/src/conflicts.c
index b6cccd76..f007e204 100644
--- a/src/conflicts.c
+++ b/src/conflicts.c
@@ -677,6 +677,7 @@ report_state_counterexamples (const state *s)
                     }
                 }
             }
+          bitset_free (conf);
         }
     }
 }
-- 
cgit v1.2.1