[Regressions] Support more complex scrubbers (#7819)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 23 Dec 2021 22:33:57 +0000 (14:33 -0800)
committerGitHub <noreply@github.com>
Thu, 23 Dec 2021 22:33:57 +0000 (16:33 -0600)
commit2b441eab892151ad4588299175e2b82ce78c6fa1
tree4d9a7064f98541a456da47a8fd1eaf68feef55ed
parentc956118d285deea24c3389e851deda0d83cf9e5f
[Regressions] Support more complex scrubbers (#7819)

Currently, we only support single commands in our `SCRUBBER` directives
for regression tests. This commit adds support for executing more
complex commands, including pipes. It also updates the regression script
to use the more modern, higher-level `subprocess.run()` instead of
`subprocess.Popen()`.
test/regress/regress0/parser/shadow_fun_symbol_all.smt2
test/regress/regress0/parser/shadow_fun_symbol_nirat.smt2
test/regress/run_regression.py