teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix test and update version

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2016-11-07 12:14:21 -08:00
parent 3292557b56
commit 843304ed79
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
stl/test_boolean_eval.py
View file

@ -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)