projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2329e0) | patch
Fix (get-info :authors) (#7373)
authorGereon Kremer <nafur42@gmail.com>
Thu, 14 Oct 2021 23:38:21 +0000 (16:38 -0700)
committerGitHub <noreply@github.com>
Thu, 14 Oct 2021 23:38:21 +0000 (16:38 -0700)
commit2e50a66e1cb58a86ff456948a6efff492487c21a
tree5f95f96e385de07578c966ae96acc5aa91ffb461tree
parentb2329e04d3269587f968378db5fcdc0487dbbdb7commit | diff
Fix (get-info :authors) (#7373)

This PR fixes calling (get-info :authors). It used to (try to) print the whole about() information, but failed to do so because the string needed to be turned into an s-expression. However, about() is not properly escaped.
We now simply print the cvc5 authors.
It also fixes isValidGetInfoFlag() which was missing filename.

Fixes #7362.
src/smt/solver_engine.cpp diff | blob | history