Simplify the scripts

Author: MyEnthusiastic

auto-run-nondex/README.md

@@ -1,3 +1,5 @@
+# runNondex
+
 
 What repo we want to run Nondex on?
 
@@ -6,13 +8,6 @@ What repo we want to run Nondex on?
 
 
 
-
-# runNondexAll
-
-This is simplified script for quick start
-Go to folder of .pom.xml files, and check all the result in result.log
-
-
 # Dependencies
 
 It is recommended to use a virtual python environment for the required modules:
@@ -27,8 +22,12 @@ Make sure to first install packages in `requirements.txt`.
 cd auto-run-nondex
 pip install -r requirements.txt
 ```
+# runNondexAll
+
+This is simplified script for quick start
+Go to folder of .pom.xml files, and check all the result in result.log
 
-# runNondex in each module:
+# runNondex module:
 ```bash
 ./runNondex.sh <project_folder_path> <optional-directory-name>
 ```

auto-run-nondex/runNondexAll.sh

@@ -0,0 +1,5 @@
+# Assume this script is run from the folder of .pom.xml files
+
+mvn edu.illinois:nondex-maven-plugin:2.1.1-SNAPSHOT:nondex -Dlicense.skip=true -Drat.skip=true -fae | tee ./result.log
+
+awk '/\[INFO\] Across all seeds:/{flag=1; next} /\[INFO\] Test results can be found at:/{flag=0} flag' "./result.log"