From cdc18225fd5fc7c5d5af9a3f354fdc26f508122a Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Sun, 12 Nov 2017 11:11:33 -0800 Subject: [PATCH] remove hypothesis debug code --- stl/test_boolean_eval.py | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/stl/test_boolean_eval.py b/stl/test_boolean_eval.py index f1279c0..39d6c5d 100644 --- a/stl/test_boolean_eval.py +++ b/stl/test_boolean_eval.py @@ -1,6 +1,6 @@ import hypothesis.strategies as st import traces -from hypothesis import given, settings, Verbosity, Phase +from hypothesis import given from pytest import raises import stl @@ -81,11 +81,6 @@ def test_eval_smoke_tests(phi): @given(SignalTemporalLogicStrategy) -@settings( - max_shrinks=0, - verbosity=Verbosity.verbose, - perform_health_check=False, - phases=[Phase.generate]) def test_temporal_identities(phi): stl_eval = stl.boolean_eval.pointwise_sat(phi) stl_eval2 = stl.boolean_eval.pointwise_sat(~phi)