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

test pstl parsing and param setting

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2016-10-09 21:22:15 -07:00
parent 42efc69556
commit 673ede60e3
2 changed files with 39 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
test_parser.py
View file

@ -9,12 +9,21 @@ ex1 = ('x1 > 2', stl.LinEq(
">",
2.0
))
ex1_ = ('x1 > a?', stl.LinEq(
(stl.Var(1, Symbol("x1"), stl.ast.t_sym),),
">",
Symbol("a?")
))
i1 = stl.Interval(0., 1.)
i1_ = stl.Interval(0., Symbol("b?"))
i2 = stl.Interval(2., 3.)
ex2 = ('◇[0,1](x1 > 2)', stl.F(i1, ex1[1]))
ex3 = ('□[2,3]◇[0,1](x1 > 2)', stl.G(i2, ex2[1]))
ex4 = ('(x1 > 2) or ((x1 > 2) or (x1 > 2))',
stl.Or((ex1[1], ex1[1], ex1[1])))
ex5 = ('G[0, b?](x1 > a?)',
stl.G(i1_, ex1_))
class TestSTLParser(unittest.TestCase):
@params(ex1, ex2, ex3, ex4)