prepare for the next release

.github/workflows/main.yml

@@ -34,6 +34,22 @@ jobs:
       run: |
         bazel build //src/... //antlropt/... //test/... //copyright/...
 
+    - name: Test Toy Benchmarks
+      run: |
+        bazel test //test/org/perses/benchmark_toys/...
+
+    - name: Test Reducers
+      run: | 
+        bazel test //test/org/perses/reduction/...
+
+    - name: Test Antlr OPT
+      run: | 
+        bazel test //antlropt/...
+
+    - name: Test Pair-Wise Program Reduction
+      run: |
+        bazel test //ppr/...
+
     #- name: Test
     #  run: |
     #    ./scripts/presubmit.sh

README.md

@@ -1,3 +1,4 @@
+![CI](https://github.com/uw-pluverse/perses/actions/workflows/main.yml/badge.svg)
 # Perses: Syntax-Directed Program Reduction
 
 Perses is a language-agnostic program reducer to minimize a program with 

scripts/copy_to_public_repo.sh

@@ -51,7 +51,7 @@ for entry in $(git -C "$PUBLIC_REPO_DIR" ls-tree --name-only HEAD); do
 done
 
 for entry in $(find . -maxdepth 1 -type f); do
-  cp "${entry}" "${PUBLIC_REPO_DIR}/"
+  cp -f "${entry}" "${PUBLIC_REPO_DIR}/"
 done
 echo
 echo "Done."

version/org/perses/version/VersionClassGenerator.kt

@@ -28,7 +28,7 @@ import kotlin.io.path.writeText
 object VersionClassGenerator {
 
   private const val MAJOR_VERSION = "1"
-  private const val MINOR_VERSION = "6"
+  private const val MINOR_VERSION = "7"
 
   @JvmStatic
   fun generate(args: Array<String>) {