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

default call time is 0

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2017-12-16 14:31:12 -08:00
parent 80f24cf74b
commit c1a6e18068
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
stl/ast.py
View file

@ -48,7 +48,7 @@ class AST(object):
return phi return phi
def __call__(self, trace, time): def __call__(self, trace, time=0):
return stl.pointwise_sat(self)(trace, time) return stl.pointwise_sat(self)(trace, time)
@property @property