projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a319213) | patch
Fix output of --show-trace-tags. (#1430)
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 5 Dec 2017 20:18:37 +0000 (12:18 -0800)
committerGitHub <noreply@github.com>
Tue, 5 Dec 2017 20:18:37 +0000 (12:18 -0800)
commit108b5ed9d1f66884af7ede96155670bb1dc2fb43
treeb55cdc66400cedb83e8d4cdd7563d2055943b1e4tree
parenta31921398fee6592b3ed3e1fc85edcb6dfe5b773commit | diff
Fix output of --show-trace-tags. (#1430)

Now prints each tag in a separate line.
src/options/options_handler.cpp diff | blob | history