projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f50620d) | patch
Support multiple sets of command line args in regs (#1902)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 11 May 2018 02:34:30 +0000 (19:34 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Fri, 11 May 2018 02:34:30 +0000 (19:34 -0700)
commit5e2366d542e17ba5064a56f2581ada99c0046ddc
tree7b24022cf6d63090f9b88e9940416d5a7cd89ad2tree
parentf50620d05f8c661a0adf34d8ad2a41782d546396commit | diff
Support multiple sets of command line args in regs (#1902)

This commit adds support for multiple sets of command line arguments for
regressions. Each use of a `COMMAND-LINE` directive is interpreted as a
separate set of command line arguments.
test/regress/README.md diff | blob | history
test/regress/run_regression.py diff | blob | history