Merge pull request #45 from Certora/filter-constructors

Allow filtering constructors in the function filter

Author: chandrakananandi

.github/workflows/gambit.yml

@@ -8,7 +8,7 @@ env:
 
 jobs:
   build-linux:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     env:
       TAG: ${{ github.ref_name }}
     steps:

src/mutator.rs

@@ -265,6 +265,15 @@ impl SolASTVisitor<Rc<Source>, Vec<Mutant>> for Mutator {
                             return false;
                         }
                     }
+                } else if node.node_kind() == Some("constructor".to_string()) {
+                    match &self.conf.funcs_to_mutate {
+                        Some(fns) => {
+                            return !fns.contains(&"constructor".to_string());
+                        }
+                        None => {
+                            return false;
+                        }
+                    }
                 }
             }
         }