From 417d17781ef62b2e739dea49ee155ec5b46defb3 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Mon, 24 Sep 2018 01:02:00 -0700 Subject: [PATCH] remove residule traces dependencies --- mtl/test_parser.py | 10 ---------- requirements.txt | 3 +-- 2 files changed, 1 insertion(+), 12 deletions(-) diff --git a/mtl/test_parser.py b/mtl/test_parser.py index 821d536..01a4997 100644 --- a/mtl/test_parser.py +++ b/mtl/test_parser.py @@ -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): diff --git a/requirements.txt b/requirements.txt index 6f711ae..7187ff9 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1,9 +1,8 @@ -e git://github.com/mvcisback/hypothesis-cfg@master#egg=hypothesis-cfg -attrs==18.1.0 funcy==1.9.1 lenses==0.4.0 parsimonious==0.7.0 -discrete-signals==0.7.1 +discrete-signals==0.7.2 hypothesis==3.32.1 pytest==3.2.3