research/argus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

test(pyargus): add more test cases

Browse source 
Ignore a test case where signals are contracted.
This commit is contained in:
Anand Balakrishnan 2023-10-17 12:03:52 -07:00
parent e28e77f13f
commit dc834bd8be
No known key found for this signature in database
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
pyargus/tests/test_semantics.py
View file

@ -58,7 +58,11 @@ def test_boolean_propositional_expr(
"G b", "G b",
"(G(a & b))", "(G(a & b))",
"(F(a | b))", "(F(a | b))",
"G(a -> F[0,2] b)", # FIXME: `mtl` doesn't contract the signal domain for F[0,2] so it fails if a is True and b is False in the
# last sample point.
# "G(a -> F[0,2] b)",
"G(a -> F b)",
"G F a -> F G b",
"(a U b)", "(a U b)",
"(a U[0,2] b)", "(a U[0,2] b)",
] ]