mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 06:03:23 +00:00
Code Activity

fix #7560

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-02-19 09:39:17 -08:00
parent 075773e519
commit 712231dcda
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/cmd_context/basic_cmds.cpp
View file

@ -737,6 +737,7 @@ public:
else { else {
if (opt != symbol(":?")) if (opt != symbol(":?"))
ctx.print_unsupported(opt, m_line, m_pos); ctx.print_unsupported(opt, m_line, m_pos);
ctx.regular_stream() << "; Suppported get-info parameters:\n";
ctx.regular_stream() << "; (get-info :reason-unknown)\n"; ctx.regular_stream() << "; (get-info :reason-unknown)\n";
ctx.regular_stream() << "; (get-info :status)\n"; ctx.regular_stream() << "; (get-info :status)\n";
ctx.regular_stream() << "; (get-info :version)\n"; ctx.regular_stream() << "; (get-info :version)\n";