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

Fixed timed until.

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2020-04-06 13:04:14 -07:00
parent 74f6efa314
commit 4287ee857e
1 changed files with 13 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
mtl/test_eval.py Normal file
View file

@ -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)