diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2022-10-13 15:46:33 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2022-10-13 15:46:33 +0200 |
commit | 60700fa5456f91bc532fe72dddb061a723ffe52f (patch) | |
tree | 7ddf6a1b558a82661656049e10a8c2a05cb5d568 /lib | |
parent | a710645b586d465754c908e124e8f7b1ae365513 (diff) |
blacken code
Diffstat (limited to 'lib')
-rwxr-xr-x | lib/automata.py | 4 | ||||
-rw-r--r-- | lib/codegen.py | 2 |
2 files changed, 3 insertions, 3 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. diff --git a/lib/codegen.py b/lib/codegen.py index d224a01..5aba3a3 100644 --- a/lib/codegen.py +++ b/lib/codegen.py @@ -166,7 +166,7 @@ class SimulatedAccountingMethod: ) def _sleep_duration(self, duration_us): - u""" + """ Return the sleep duration a timer with the configured timer frequency would measure, according to the configured granularity. I.e., for a 35us sleep with a 50kHz timer (-> one tick per 20us) and 1us time resolution, the OS would likely measure one tick == 20us. |