Refactor import

sosy-lab · Nov 2, 2023 · a37525b · a37525b
1 parent 61b379b
commit a37525b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/benchexec/tools/avr.py b/benchexec/tools/avr.py
@@ -7,6 +7,7 @@
 
 import benchexec.result as result
 import benchexec.tools.template
+from math import ceil
 
 
 class Tool(benchexec.tools.template.BaseTool2):
@@ -24,8 +25,6 @@ def name(self):
         return "AVR"
 
     def cmdline(self, executable, options, task, rlimits):
-        from math import ceil
-
         if rlimits.cputime and "--timeout" not in options:
             options += ["--timeout", str(rlimits.cputime)]
         if rlimits.memory and "--memout" not in options: