projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63bccca) | patch
Use options correctly in competition mode (#7053)
authorGereon Kremer <nafur42@gmail.com>
Mon, 23 Aug 2021 15:37:47 +0000 (08:37 -0700)
committerGitHub <noreply@github.com>
Mon, 23 Aug 2021 15:37:47 +0000 (08:37 -0700)
commitb1140ffab5d45f282417c4e9378ffbf5959f4673
tree0a01101539e417d1156fbc760edc1e462505dda9tree
parent63bccca3e6e96e8e1ed92a25ca04f10d44858bffcommit | diff
Use options correctly in competition mode (#7053)

Fix competition mode by accessing options in the correct way in main functions.
src/main/main.cpp diff | blob | history