diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-06-08 09:05:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-08 07:05:35 +0000 |
commit | 57b632c70aa01c95216fd5f43338cf2d76374b4e (patch) | |
tree | abd72da32f5d59fb700ee861f011be3fb5b985fc /COPYING | |
parent | d265cc611581c1d5da16283008d4fcb95eab74dd (diff) |
Remove `binary_name` option (#6693)
The binary_name is solely used as a temporary storage to pass the data from the options parser back to the runCvc5 method where it is put in a static variable. This PR gets rid of the option and the public option getter in favor of directly storing the program name in the static variable using an additional argument to parseOptions().
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions