Skip to content
Permalink
Browse files

Fixed test logic

  • Loading branch information
mikand committed Jan 28, 2020
1 parent 839d54a commit 50e344d5aa70f9a627f56ba159b49cc35d0314b1
Showing with 1 addition and 1 deletion.
  1. +1 −1 pysmt/test/smtlib/test_parser_examples.py
@@ -183,7 +183,7 @@ def test_parser_params(self):
self.assertEqual(len(get_env().formula_manager.get_all_symbols()),
len(script.get_declared_symbols()) + len(script.get_define_fun_parameter_symbols()))

@skipIfNoSolverForLogic(logics.QF_BV)
@skipIfNoSolverForLogic(logics.QF_ABV)
def test_nary_bvconcat(self):
txt = """
(set-logic QF_BV )

0 comments on commit 50e344d

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