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

remove residule traces dependencies

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2018-09-24 01:02:00 -07:00
parent 266898c8ec
commit 417d17781e
2 changed files with 1 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

10
mtl/test_parser.py
View file

@ -1,20 +1,10 @@
# -*- coding: utf-8 -*-
from hypothesis import given
from traces import TimeSeries
import mtl
from mtl.hypothesis import MetricTemporalLogicStrategy
TS = {
"ap1": TimeSeries([(0, True), (0.1, True), (0.2, False)]),
"ap2": TimeSeries([(0, False), (0.2, True), (0.5, False)]),
"ap3": TimeSeries([(0, True), (0.1, True), (0.3, False)]),
"ap4": TimeSeries([(0, False), (0.1, False), (0.3, False)]),
"ap5": TimeSeries([(0, False), (0.1, False), (0.3, True)]),
}
@given(MetricTemporalLogicStrategy)
def test_stablizing_repr(phi):
for _ in range(10):