exception documentation
class Prover9FatalException(Prover9Exception): (source)
Constructor: Prover9FatalException(returncode, message)
Undocumented
Inherited from Prover9Exception:
| Method | __init__ |
Undocumented |