changes in gitignore

.gitignore

@@ -20,3 +20,5 @@ run_nagini.py
 /tmp
 results
 results/*
+/log_tries/
+/log_tries/*

verified_cogen/tools/verifier.py

@@ -15,13 +15,20 @@ def __init__(self, shell: str, verifier_cmd: str, timeout: int = 60):
         self.timeout = timeout
 
     def verify(self, file_path: Path) -> Optional[tuple[bool, str, str]]:
-        proc = subprocess.Popen(
-            [self.shell, "-i", "-l", "-c", f'{self.verifier_cmd} "{file_path}"'],
-            stdout=subprocess.PIPE,
-            stderr=subprocess.PIPE,
-        )
         try:
-            out, err = proc.communicate(timeout=self.timeout)
-            return proc.returncode == 0, out.decode(), err.decode()
+            res = subprocess.run(
+                '{} -i -l -c "{} "{}""; exit'.format(
+                    self.shell, self.verifier_cmd, file_path
+                ),
+                capture_output=True,
+                shell=True,
+                timeout=self.timeout,
+            )
         except subprocess.TimeoutExpired:
-            os.killpg(os.getpgid(proc.pid), signal.SIGTERM)
+            os.system("killall z3")
+            return None
+        return (
+            res.returncode == 0,
+            res.stdout.decode("utf-8"),
+            res.stderr.decode("utf-8"),
+        )