hu-macsy / simexpal

Simplifying Experimental Algorithmics
https://simexpal.readthedocs.io
MIT License
17 stars 18 forks source link

handle execve() errors gracefully #103

Closed duylethanh closed 3 years ago

duylethanh commented 3 years ago

This PR contains the following:

In the launch/common.py I mainly wrapped


child = subprocess.Popen(cmd, cwd=cwd, env=environ,
                stdout=stdout, stderr=stderr)

in a try/except block and put the code below it in the else case.

duylethanh commented 3 years ago

PR updated.

duylethanh commented 3 years ago

PR updated.