From 2ba435b6bc0a5f0f831c331abdf8d58e0fdae132 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emil=20Ji=C5=99=C3=AD=20Tywoniak?= <emil.tywoniak@gmail.com>
Date: Thu, 20 Oct 2022 19:31:16 +0200
Subject: [PATCH] bugfix for mathsat counterexample vcd dump

---
 backends/smt2/smtio.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 9af454cca..5cd1a74fb 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -917,7 +917,7 @@ class SmtIo:
         if len(expr_list) == 0:
             return []
         self.write("(get-value (%s))" % " ".join(expr_list))
-        return [n[1] for n in self.parse(self.read())]
+        return [n[1] for n in self.parse(self.read()) if n]
 
     def get_path(self, mod, path):
         assert mod in self.modinfo