More formatting fixes.

bin/ddsmt

@@ -20,7 +20,8 @@ if __name__ == '__main__':
     # global variables.
     multiprocessing.set_start_method('fork')
 
-    __root_dir = os.path.join(os.path.dirname(os.path.realpath(__file__)), '..')
+    __root_dir = os.path.join(os.path.dirname(os.path.realpath(__file__)),
+                              '..')
     sys.path.insert(0, __root_dir)
 
     from ddsmt import __main__  # noqa: E402

ddsmt/tests/test_mutators_datatypes.py

@@ -15,7 +15,8 @@ def test_strings_is_relevant():
     color_dt = (Node('Color 0'), Node('red', 'green', 'blue'))
     assert mutators_datatypes.is_relevant(Node('declare-datatypes', color_dt))
     assert mutators_datatypes.is_relevant(Node('declare-datatype', color_dt))
-    assert not mutators_datatypes.is_relevant(Node('declare-const', 'x', 'Real'))
+    assert not mutators_datatypes.is_relevant(
+        Node('declare-const', 'x', 'Real'))
     assert not mutators_datatypes.is_relevant(
         Node('declare-fun', 'x', (), 'Real'))
     assert not mutators_datatypes.is_relevant(Node())

docs/conf.py

@@ -113,5 +113,7 @@ def autodoc_mutators_skip_member(app, what, name, obj, skip, options):
 def setup(app):
     app.connect('autodoc-skip-member', autodoc_mutators_skip_member)
 
+
 # Allow to use "ddsmt" in "command-output" directives.
-os.environ['PATH'] = os.path.join(__root_dir, "bin") + os.pathsep + os.environ['PATH']
+os.environ['PATH'] = os.path.join(__root_dir,
+                                  "bin") + os.pathsep + os.environ['PATH']