purity_check.sh

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