Skip to content
Permalink
Browse files

Call self.get_named_unsat_core

  • Loading branch information...
makaimann committed Jun 24, 2019
1 parent cf52939 commit dd52abd0b2932974420812db570a2604ae4ba775
Showing with 1 addition and 1 deletion.
  1. +1 −1 pysmt/solvers/btor.py
@@ -242,7 +242,7 @@ def get_unsat_core(self):
unsat_core.add(a)
return unsat_core
else:
return get_named_unsat_core().values()
return self.get_named_unsat_core().values()

def get_named_unsat_core(self):
"""After a call to solve() yielding UNSAT, returns the unsat core as a

0 comments on commit dd52abd

Please sign in to comment.
You can’t perform that action at this time.