From c1a6e18068345e31d1db088cefa3885f1853f71d Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Sat, 16 Dec 2017 14:31:12 -0800 Subject: [PATCH] default call time is 0 --- stl/ast.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stl/ast.py b/stl/ast.py index eec5a62..747a06d 100644 --- a/stl/ast.py +++ b/stl/ast.py @@ -48,7 +48,7 @@ class AST(object): return phi - def __call__(self, trace, time): + def __call__(self, trace, time=0): return stl.pointwise_sat(self)(trace, time) @property