search

sosy-lab / java-common-lib

SoSy-Lab Java Common Library
https://www.sosy-lab.org
Apache License 2.0
12 stars 11 forks source link

Support working dir for ProcessExecutor #27

Closed BCSol closed 5 years ago

BCSol commented 5 years ago

It would be nice to be able to specify a directory in which the process should be executed in.