projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf5e9c0) | patch
Allow for wildcards in `-t` (#7791)
authorGereon Kremer <gkremer@stanford.edu>
Fri, 10 Dec 2021 17:48:48 +0000 (09:48 -0800)
committerGitHub <noreply@github.com>
Fri, 10 Dec 2021 17:48:48 +0000 (17:48 +0000)
commit87cd3112098d24b35cedabffdc5f927998a4e4b0
treef5bb87612e11849e7a2c11200fa53599e6f6093atree
parentcf5e9c06eb649e77996a0da20ca0b492a6f64e4dcommit | diff
Allow for wildcards in `-t` (#7791)

This PR extends -t to allow for wildcards: -t nl-ext-*. Internally, these wildcards are replaced by .* and fed into std::regex.
src/options/base_options.toml diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/util/didyoumean.cpp diff | blob | history