mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
5b85cad4ee
This PR also adds a `:skip:` directive to suppress missing-example warnings for languages without an equivalent version.
11 lines
265 B
ReStructuredText
11 lines
265 B
ReStructuredText
Exception Handling
|
|
======================================
|
|
|
|
|
|
.. api-examples::
|
|
<examples>/api/cpp/exceptions.cpp
|
|
<examples>/api/java/Exceptions.java
|
|
<examples>/api/python/exceptions.py
|
|
<pythonicapi>/test/pgms/example_exceptions.py
|
|
:skip: c, smt2
|