diff options
Diffstat (limited to 'lib/automata.py')
-rwxr-xr-x | lib/automata.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/automata.py b/lib/automata.py index 37fc821..f360d4c 100755 --- a/lib/automata.py +++ b/lib/automata.py @@ -932,7 +932,7 @@ class PTA: return min_state def min_duration_until_energy_overflow( - self, energy_granularity=1e-12, max_energy_value=2 ** 32 - 1 + self, energy_granularity=1e-12, max_energy_value=2**32 - 1 ): """ Return minimum duration (in s) until energy counter overflow during online accounting. @@ -954,7 +954,7 @@ class PTA: return min_duration def max_duration_until_energy_overflow( - self, energy_granularity=1e-12, max_energy_value=2 ** 32 - 1 + self, energy_granularity=1e-12, max_energy_value=2**32 - 1 ): """ Return maximum duration (in s) until energy counter overflow during online accounting. |