Merge pull request #35 from Certora/cnandi/bug-fix

fix bug in allow paths
Certora · Nov 23, 2023 · 05abe4a · 05abe4a
2 parents d1a0289 + 6a5678f
commit 05abe4a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -29,3 +29,4 @@ similar = "2"
 strum = "0.24.1"
 strum_macros = "0.24.3"
 tempfile = "3"
+itertools = "0.12.0"
diff --git a/src/compile.rs b/src/compile.rs
@@ -1,3 +1,4 @@
+use itertools::join;
 use crate::invoke_command;
 use crate::SolAST;
 use serde_json::Value;
@@ -299,9 +300,9 @@ impl Solc {
 
         if let Some(allow_paths) = &self.allow_paths {
             flags.push(ALLOWPATHS.into());
-            for r in allow_paths {
-                flags.push(r.clone());
-            }
+            let comma_separated = join(allow_paths, ",");
+            flags.push(comma_separated);
+
         }
 
         if let Some(include_path) = &self.include_path {