From 843304ed795e9e84473bf12333b40bc3f37df797 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Mon, 7 Nov 2016 12:14:21 -0800 Subject: [PATCH] fix test and update version --- setup.py | 2 +- stl/test_boolean_eval.py | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/setup.py b/setup.py index 02510be..8e74aad 100644 --- a/setup.py +++ b/setup.py @@ -1,7 +1,7 @@ from setuptools import setup, find_packages setup(name='py-stl', - version='0.1', + version='0.11', description='TODO', url='http://github.com/mvcisback/py-stl', author='Marcell Vazquez-Chanlatte', diff --git a/stl/test_boolean_eval.py b/stl/test_boolean_eval.py index 1b1cb91..48dc188 100644 --- a/stl/test_boolean_eval.py +++ b/stl/test_boolean_eval.py @@ -12,13 +12,13 @@ ex4 = ("G[1, 0](2*A > 3)", True) ex5 = ("(A < 0)", False) ex6 = ("G[0, 0.1](A < 0)", False) ex7 = ("G[0, 0.1](C)", True) -ex7 = ("G[0, 0.2](C)", False) -ex7 = ("(F[0, 0.2](C)) and (F[0, 1](2*A > 3))", True) +ex8 = ("G[0, 0.2](C)", False) +ex9 = ("(F[0, 0.2](C)) and (F[0, 1](2*A > 3))", True) x = pd.DataFrame([[1,2, True], [1,4, True], [4,2, False]], index=[0,0.1,0.2], columns=["A", "B", "C"]) class TestSTLRobustness(unittest.TestCase): - @params(ex1, ex2, ex3, ex4, ex5, ex6, ex7) + @params(ex1, ex2, ex3, ex4, ex5, ex6, ex7, ex8, ex9) def test_stl(self, phi_str, r): phi = stl.parse(phi_str) stl_eval = stl.boolean_eval.pointwise_sat(phi)