Merge branch 'main' of github.com:syntest-framework/syntest-solidity-benchmark into main

Author: mitchellolsthoorn

deploy_experiment.py

@@ -35,9 +35,7 @@ def copytree(src, dst, symlinks=False, ignore=None):
             shutil.copyfile("truffle-config.js", run_directory + "/truffle-config.js")
             shutil.copyfile("package.json", run_directory + "/package.json")
             shutil.copyfile("Migrations.sol", run_directory + "/Migrations.sol")
-            shutil.copyfile("index.js", run_directory + "/index.js")
             shutil.copyfile(".syntest.js", run_directory + "/.syntest.js")
-            #copytree("node_modules", run_directory + "/node_modules")
             os.makedirs(run_directory + "/migrations")
             shutil.copyfile("migrations/1_initial_migration.js", run_directory + "/migrations/1_initial_migration.js")
             os.makedirs(run_directory + "/contracts")

index.js

@@ -5,4 +5,4 @@
 runs_directories = [f for f in os.listdir(runs_path)]
 
 for i in range(0, len(runs_directories)):
-    subprocess.check_output(['docker', 'run', '-d', '--rm', '-v', "${PWD}/experiment/runs/" + runs_directories[i] + ':/app/syntest-solidity-benchmark', '-v', '${PWD}/node_modules:/app/syntest-solidity-benchmark/node_modules', 'syntest:experiment'])
+    subprocess.check_output(['docker', 'run', '-d', '-v', "${PWD}/experiment/runs/" + runs_directories[i] + ':/app/syntest-solidity-benchmark', '-v', '${PWD}/node_modules:/app/syntest-solidity-benchmark/node_modules', 'syntest:experiment'])

run_experiment.py

@@ -69,20 +69,29 @@ function runContract() {
     if (fs.existsSync("syntest")) {
       if (fs.existsSync("syntest/statistics/statistics.csv")) {
         fs.copyFileSync("syntest/statistics/statistics.csv", `results/${contract}/statistics.csv`);
+      } else {
+        console.log("No statistics.csv");
       }
 
       if (fs.existsSync("syntest/tests")) {
         const testFiles = fs.readdirSync("syntest/tests");
         for (let file of testFiles) {
           fs.copyFileSync(`syntest/tests/${file}`, `results/${contract}/tests/${file}`);
         }
+      } else {
+        console.log("No tests");
       }
+    } else {
+      console.log("No results directory");
     }
 
     const tmpFiles = fs.readdirSync("/tmp");
     for (let file of tmpFiles) {
-      if (file.startsWith("tmp-"))
+      if (file.startsWith("tmp-")) {
         fs.rmSync(`/tmp/${file}`, { recursive: true, force: true });
+        console.log("Deleting tmp directory");
+      }
+
     }
 
     // Repeat