mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
This PR also adds a `:skip:` directive to suppress missing-example warnings for languages without an equivalent version.
This PR also adds a `:skip:` directive to suppress missing-example warnings for languages without an equivalent version.