From caaaa0cdaec3e248589643db7cb86752c79a8bed Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Wed, 22 Nov 2017 12:26:43 -0800 Subject: [PATCH] added extra scope test --- stl/test_utils.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/stl/test_utils.py b/stl/test_utils.py index 09a7b78..ae7134b 100644 --- a/stl/test_utils.py +++ b/stl/test_utils.py @@ -93,6 +93,9 @@ def test_scope(): phi = stl.parse('X(AP1)') assert stl.utils.scope(phi, dt) == 0.3 + phi = stl.parse('X((X(AP1)) | (AP2))') + assert stl.utils.scope(phi, dt) == 0.6 + phi = stl.parse('G[0.3, 1.2](F[0.6, 1.5](AP1))') assert stl.utils.scope(phi, dt) == 1.2 + 1.5