More flake issues

ddsmt · Feb 17, 2021 · f2d12de · f2d12de
1 parent e0a6f57
commit f2d12de
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/ddsmt/cli.py b/ddsmt/cli.py
@@ -147,10 +147,10 @@ def ddsmt_main():
             logging.info(f'runtime:         {end_time - start_time:.2f} s')
             logging.debug(f'main process:   {proctime:.2f} s')
             logging.info(f'tests:           {ntests}')
-            logging.info(f'input file:')
+            logging.info('input file:')
             logging.info(f'  file size:     {ifilesize} B')
             logging.info(f'  s-expressions: {nexprs}')
-            logging.info(f'reduced file:')
+            logging.info('reduced file:')
             logging.info(f'  file size:     {ofilesize} B ({sizeperc:3.1f}%)')
             logging.info(f'  s-expressions: {exprcount} ({exprperc:3.1f}%)')
         else:

diff --git a/ddsmt/debug_utils.py b/ddsmt/debug_utils.py
@@ -104,16 +104,16 @@ def render_profiles():
     of all other processes. Uses ``gprof2dot`` and ``dot``, and will try
     to print helpful error messages if they are not available.
     """
-    logging.debug(f'Rendering profile data')
+    logging.debug('Rendering profile data')
     if __render_profile(['.profile.prof'], '.profile.dot', 'profile.png'):
-        logging.chat(f'Profile data for main process is in profile.png')
+        logging.chat('Profile data for main process is in profile.png')
 
     files = [f for f in glob.glob('.*.prof') if f != '.profile.prof']
     if files:
         if __render_profile(files, '.profile-workder.dot',
                             'profile-worker.png'):
             logging.chat(
-                f'Profile data for worker processes is in profile-worker.png')
+                'Profile data for worker processes is in profile-worker.png')
 
 
 __DIFF_ID = 0

diff --git a/ddsmt/mutators_strings.py b/ddsmt/mutators_strings.py
@@ -34,7 +34,7 @@ def filter(self, node):
         return is_string_const(node) and node != '""'
 
     def mutations(self, node):
-        yield Simplification({node.id: Node(f'""')}, [])
+        yield Simplification({node.id: Node('""')}, [])
         content = node[1:-1]
         for sec in nodes.binary_search(len(content)):
             start = self.__fix_escape_sequences(content, sec[0])

diff --git a/ddsmt/strategy_ddmin.py b/ddsmt/strategy_ddmin.py
@@ -320,7 +320,7 @@ def _check_par(taskgen, nexprs, stats):
 
                 if result.success and not skip:
                     __abort_flag.set()
-                    logging.debug(f'Main: Set abort flag')
+                    logging.debug('Main: Set abort flag')
                     taskgen.stop()
                     taskgen.update(result.exprs)
                     nodeio.write_smtlib_to_file(outfile, taskgen.exprs)