diff options
Diffstat (limited to 'examples/api/python/exceptions.py')
| -rw-r--r-- | examples/api/python/exceptions.py | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/examples/api/python/exceptions.py b/examples/api/python/exceptions.py index 27f068011..97b186b26 100644 --- a/examples/api/python/exceptions.py +++ b/examples/api/python/exceptions.py @@ -1,20 +1,19 @@ #!/usr/bin/env python - ##################### -## \file exceptions.py -## \verbatim +## exceptions.py ## Top contributors (to current version): ## Andres Noetzli ## This file is part of the CVC4 project. ## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS -## in the top-level source directory) and their institutional affiliations. +## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source -## directory for licensing information.\endverbatim +## directory for licensing information. ## -## \brief Catching CVC4 exceptions with the legacy Python API. +## Catching CVC4 exceptions with the legacy Python API. ## ## A simple demonstration of catching CVC4 execptions with the legacy Python ## API. +## import pycvc4 from pycvc4 import kinds |