Inherit PATH from shell for tests

pruemmer · Feb 7, 2019 · 96288a5 · 96288a5
1 parent f3bd0e3
commit 96288a5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/test/testExamples.js b/test/testExamples.js
@@ -29,6 +29,7 @@ describe("the analysis", function() {
                 child_process.execFile(
                     "node", [scriptPath, "--analysis", analysisDir, filePath], {
                         env: {
+                            PATH: process.env.PATH,
                             SOLVER: "cvc4",
                             CVC4_PATH: cvc4Path
                         }
@@ -45,6 +46,7 @@ describe("the analysis", function() {
                 child_process.execFile(
                     "node", [scriptPath, "--analysis", analysisDir, filePath], {
                         env: {
+                            PATH: process.env.PATH,
                             SOLVER: "z3",
                             Z3_PATH: z3Path
                         }