summaryrefslogtreecommitdiff
path: root/lib/automata.py
diff options
context:
space:
mode:
Diffstat (limited to 'lib/automata.py')
-rwxr-xr-xlib/automata.py4
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.