skip access_all test

.github/workflows/acl2.yml

@@ -30,7 +30,7 @@ jobs:
 
       - name: Generate asts
         run: |
-          cargo -q run -p leo-test-framework --bin tgc
+          cargo -q run -p leo-test-framework --bin tgc -- --skip access_all
 
       # Pull the latest release from the leo-acl2-bin repo, and put it into the
       # repo/acl2 directory. After it's done, unpack the tgz file locally.

test-framework/src/bin/tgc.rs

@@ -36,8 +36,11 @@ struct Opt {
     )]
     path: PathBuf,
 
-    #[structopt(short, long, help = "Filter test names and run only matching")]
+    #[structopt(short, long, help = "Run only for test that match pattern")]
     filter: Option<String>,
+
+    #[structopt(short, long, help = "Skip tests matching pattern")]
+    skip: Option<String>,
 }
 
 fn main() {
@@ -76,6 +79,13 @@ fn run_with_args(opt: Opt) -> Result<(), Box<dyn Error>> {
                 }
             }
 
+            // If skip flag is used, don't run tests matching the pattern.
+            if let Some(skip_name) = &opt.skip {
+                if test_name.contains(skip_name) {
+                    continue;
+                }
+            }
+
             test_name.push_str(&format!("_{}", index));
 
             // Create directory for this file.