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

removing dead tests + add hypothesis-cfg in requirements.txt

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2017-09-27 21:53:18 -07:00
parent 651d6e352b
commit dbc31ebf87
4 changed files with 2 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

3
stl/parser.py
View file

@ -1,9 +1,6 @@
# -*- coding: utf-8 -*-
# TODO: break out into seperate library
# TODO: allow multiplication to be distributive
# TODO: support reference specific time points
# TODO: add support for parsing Until
# TODO: support variables on both sides of ineq
# TODO: Allow -x = -1*x

24
stl/test_boolean_eval.py
View file

@ -57,27 +57,3 @@ def test_temporal_identities(phi):
stl_eval4 = stl.fastboolean_eval.pointwise_sat(stl.env(phi, lo=0, hi=4))
assert stl_eval4(x, 0) == stl_eval3(x, 0)
"""
def test_eval(self, phi_str, r):
phi = stl.parse(phi_str)
stl_eval = stl.boolean_eval2.pointwise_sat(phi)
stl_eval2 = stl.boolean_eval2.pointwise_sat(~phi)
self.assertEqual(stl_eval(x, 0)[0], r)
self.assertEqual(stl_eval2(x, 0)[0], not r)
@params(*examples)
def test_fasteval(self, phi_str, _):
phi = stl.parse(phi_str)
stl_eval = stl.boolean_eval.pointwise_sat(phi)
stl_evalf = stl.fastboolean_eval.pointwise_sat(phi)
stl_evalf2 = stl.fastboolean_eval.pointwise_sat(~phi)
b_slow = stl_eval(x, 0)
b_fast = stl_evalf(x, 0)
b_fast2 = stl_evalf2(x, 0)
self.assertEqual(b_slow, b_fast)
self.assertEqual(b_fast, not b_fast2)
"""