summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2022-10-13 15:46:33 +0200
committerDaniel Friesel <daniel.friesel@uos.de>2022-10-13 15:46:33 +0200
commit60700fa5456f91bc532fe72dddb061a723ffe52f (patch)
tree7ddf6a1b558a82661656049e10a8c2a05cb5d568 /lib
parenta710645b586d465754c908e124e8f7b1ae365513 (diff)
blacken code
Diffstat (limited to 'lib')
-rwxr-xr-xlib/automata.py4
-rw-r--r--lib/codegen.py2
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.