From 9bf7d10f3310147c7e85330a79da655b9f7a5bad Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Thu, 4 Mar 2021 13:32:36 +0100 Subject: PTA State/Transition: Use ModelFunction instead of PTAAttribute --- lib/codegen.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'lib/codegen.py') diff --git a/lib/codegen.py b/lib/codegen.py index 62776fd..d224a01 100644 --- a/lib/codegen.py +++ b/lib/codegen.py @@ -1,3 +1,4 @@ +#!/usr/bin/env python3 """Code generators for multipass dummy drivers for online model evaluation.""" from .automata import PTA, Transition @@ -227,11 +228,8 @@ class SimulatedStaticAccountingImmediateCalculation(SimulatedAccountingMethod): def sleep(self, duration_us): time = self._sleep_duration(duration_us) - print("sleep duration is {}".format(time)) power = int(self.current_state.power.value) - print("power is {}".format(power)) energy = self._energy_from_power_and_time(time, power) - print("energy is {}".format(energy)) self.energy += energy def pass_transition(self, transition: Transition): -- cgit v1.2.3