Permalink
Browse files

Changes: Add note on test failure on Z3 tactics

  • Loading branch information...
marcogario committed Jan 28, 2019
1 parent 268e7ae commit 56ad4c1cf415f51ee48f2dd654a17d3409a0a07c
Showing with 2 additions and 1 deletion.
  1. +2 −0 docs/CHANGES.rst
  2. +0 −1 pysmt/test/test_solving.py
@@ -71,6 +71,8 @@ Solvers:

* Z3: Upgrade to 4.8.4 (PR #550).
Removed support for interpolation.
*Known issue*: Some tests on use of tactics exhibit some random
failures on Travis.

* Yices: Add support for OSX (PR #486). Thanks to **Varun Patro** for
contributing the patch.
@@ -265,7 +265,6 @@ def test_model_picosat(self):
@skipIfSolverNotAvailable("z3")
def test_tactics_z3(self):
from z3 import Tactic, Then
from pysmt.shortcuts import Iff

my_tactic = Then(Tactic('simplify'), Tactic('propagate-values'),
Tactic('elim-uncnstr'))

0 comments on commit 56ad4c1

Please sign in to comment.