Changeset 8565a42 in mainline for tools/checkers/stanse.py

Timestamp:

2018-03-02T20:34:50Z (7 years ago)

Author:

GitHub <noreply@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

a1a81f69, d5e5fd1

Parents:

3061bc1 (diff), 34e1206 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2018-03-02 20:34:50)

git-committer:

GitHub <noreply@…> (2018-03-02 20:34:50)

Message:

Remove all trailing whitespace, everywhere.

See individual commit messages for details.

File:

• tools/checkers/stanse.py (modified) (6 diffs)

tools/checkers/stanse.py

@@ -47 +47 @@
 def stanse(root, job):
         "Run Stanse on a jobfile"
-        
+
         # Convert generic jobfile to Stanse-specific jobfile format
-        
+
         inname = os.path.join(root, job)
         outname = os.path.join(root, "_%s" % os.path.basename(job))
-        
+
         if (not os.path.isfile(inname)):
                 print("Unable to open %s" % inname)
                 print("Did you run \"make precheck\" on the source tree?")
                 return False
-        
+
         inf = open(inname, "r")
         records = inf.read().splitlines()
         inf.close()
-        
+
         output = []
         for record in records:
@@ -67 +67 @@
                 if (not arg):
                         return False
-                
+
                 if (len(arg) < 6):
                         print("Not enough jobfile record arguments")
                         return False
-                
+
                 srcfname = arg[0]
                 tgtfname = arg[1]
@@ -78 +78 @@
                 base = arg[4]
                 options = arg[5]
-                
+
                 srcfqname = os.path.join(base, srcfname)
                 if (not os.path.isfile(srcfqname)):
                         print("Source %s not found" % srcfqname)
                         return False
-                
+
                 # Only C files are interesting for us
                 if (tool != "cc"):
                         continue
-                
+
                 output.append([srcfname, tgtfname, base, options])
-        
+
         outf = open(outname, "w")
         for record in output:
                 outf.write("{%s},{%s},{%s},{%s}\n" % (record[0], record[1], record[2], record[3]))
         outf.close()
-        
+
         # Run Stanse
-        
+
         retval = subprocess.Popen(['stanse', '--checker', 'ReachabilityChecker', '--jobfile', outname]).wait()
-        
+
         # Cleanup
-        
+
         os.remove(outname)
         for record in output:
@@ -106 +106 @@
                 if (os.path.isfile(tmpfile)):
                         os.remove(tmpfile)
-        
+
         if (retval == 0):
                 return True
-        
+
         return False
 
@@ -116 +116 @@
                 usage(sys.argv[0])
                 return
-        
+
         rootdir = os.path.abspath(sys.argv[1])
         config = os.path.join(rootdir, "HelenOS.config")
-        
+
         if (not os.path.isfile(config)):
                 print("%s not found." % config)
                 print("Please specify the path to HelenOS build tree root as the first argument.")
                 return
-        
+
         for job in jobs:
                 if (not stanse(rootdir, job)):
@@ -130 +130 @@
                         print("Failed job: %s" % job)
                         return
-        
+
         print
         print("All jobs passed")