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

forgot to add sugar module + fix breakage due to sugar module

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2018-09-24 17:27:57 -07:00
parent 7002246850
commit 6075df175b
3 changed files with 33 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
mtl/test_boolean_eval.py
View file

@ -55,5 +55,5 @@ def test_temporal_identity4(phi):
@given(MetricTemporalLogicStrategy)
def test_temporal_identity5(phi):
assert mtl.until(mtl.TOP, phi)(x, 0, quantitative=False) \
== mtl.env(phi)(x, 0, quantitative=False)
assert mtl.TOP.until(phi)(x, 0, quantitative=False) \
== phi.eventually()(x, 0, quantitative=False)