Use internal `run_command()` API instead of `popen()`.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Fri, 27 Mar 2020 22:03:06 +0000 (22:03 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Sat, 4 Apr 2020 22:13:26 +0000 (22:13 +0000)
commit86fc49a9d60f9ad4cdeec93663e7245a9fdf60c6
treeb81c9e69cd9742a9cff603349cffbe9b5d01b807
parent09b2264837bf0a2d7d2c9b35f88c2d5924fa4364
Use internal `run_command()` API instead of `popen()`.

Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
passes/sat/qbfsat.cc