diff --git a/mtl/evaluator.py b/mtl/evaluator.py index 5e57c85..02f5965 100644 --- a/mtl/evaluator.py +++ b/mtl/evaluator.py @@ -150,7 +150,8 @@ def eval_mtl_next(phi, dt): f = eval_mtl(phi.arg, dt) def _eval(x): - return (f(x) << dt).retag({phi.arg: phi}) + v = (f(x) << dt) + return v[max(v.start, 0):].retag({phi.arg: phi}) return _eval diff --git a/mtl/test_eval.py b/mtl/test_eval.py index d6a80c3..dcbb896 100644 --- a/mtl/test_eval.py +++ b/mtl/test_eval.py @@ -11,3 +11,12 @@ def test_eval_regression_smoke1(): } f2 = mtl.parse('(a U[0,3] b)') f2(d2, quantitative=False) + + +def test_eval_regression_next_neg(): + """From issue #219""" + d = {"a": [(0, False), (1, True)]} + f = mtl.parse("(a & (X (~a)))") + v = f(d, quantitative=False, dt=1, time=None) + assert not f(d, quantitative=False, dt=1) + assert min(t for t, _ in v) >= 0