From 4287ee857e9e0b6f17d49f7f451ca9bc126e2e4b Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Mon, 6 Apr 2020 13:04:14 -0700 Subject: [PATCH] Fixed timed until. --- mtl/test_eval.py | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 mtl/test_eval.py diff --git a/mtl/test_eval.py b/mtl/test_eval.py new file mode 100644 index 0000000..d6a80c3 --- /dev/null +++ b/mtl/test_eval.py @@ -0,0 +1,13 @@ +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)