mtl-aas/mtl/test_eval.py
Marcell Vazquez-Chanlatte 4287ee857e Fixed timed until.
2020-04-06 13:04:14 -07:00

13 lines
299 B
Python

import mtl
def test_eval_regression_smoke1():
"""From issue #215"""
d2 = {
'a': [
(0, True), (1, True), (3, True), (4, True), (5, False), (6, True)
],
'b': [(0, False), (3, True)],
}
f2 = mtl.parse('(a U[0,3] b)')
f2(d2, quantitative=False)