From 62e4ca1ce1ac87f95fe084db779f2c7a3e0450be Mon Sep 17 00:00:00 2001
From: Marcell Vazquez-Chanlatte <mvc@linux.com>
Date: Sun, 12 Nov 2017 11:09:50 -0800
Subject: [PATCH] decrease size of generated STL to increase unit test speed

---
 stl/hypothesis.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stl/hypothesis.py b/stl/hypothesis.py
index 573a6e3..5f1aeea 100644
--- a/stl/hypothesis.py
+++ b/stl/hypothesis.py
@@ -18,5 +18,5 @@ GRAMMAR = {
 SignalTemporalLogicStrategy = st.builds(lambda term: stl.parse(''.join(term)),
                                         ContextFreeGrammarStrategy(
                                             GRAMMAR,
-                                            max_length=35,
+                                            max_length=15,
                                             start='phi'))