add script to measure execution duration

Author: d367wang

purity_check.sh

@@ -0,0 +1,2 @@
+java -jar /home/wd/checker-framework/checker/dist/checker.jar -classpath /home/wd/checker-framework/working-benchmarks/commons-cli/target/classes::/home/wd/checker-framework/checker/dist/checker.jar -processor org.checkerframework.checker.purity.PurityChecker -Aflowdotdir=pure -AsuggestPureMethods -AcheckPurityAnnotations 			\
+/home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/AlreadySelectedException.java     /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/GnuParser.java                  /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/OptionGroup.java                /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/PosixParser.java                /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/AmbiguousOptionException.java    /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/HelpFormatter.java              /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/OptionValidator.java            /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/TypeHandler.java                /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/BasicParser.java                /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/MissingArgumentException.java   /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/Options.java                    /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/UnrecognizedOptionException.java /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/CommandLine.java                /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/MissingOptionException.java     /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/ParseException.java             /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/Util.java                       /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/CommandLineParser.java          /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/Option.java                     /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/Parser.java                     /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/package-info.java               /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/DefaultParser.java              /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/OptionBuilder.java              /home/wd/checker-framework/working-benchmarks/commons-cli/src/main/java/org/apache/commons/cli/PatternOptionBuilder.java        >out.log 

run.py

@@ -0,0 +1,9 @@
+import subprocess
+import time
+
+tool_excutable = "./purity_check.sh"
+start = time.time()
+rtn_code = subprocess.call([tool_excutable], shell=True) 
+end = time.time()
+print "Return code is {}.".format(rtn_code)
+print "Time taken by purity checking: \t{}\t seconds".format(end - start)