Classes

class   invariant_failedt

  A logic error, augmented with a distinguished field to hold a backtrace. More...

 

class   cprover_exception_baset

  Base class for exceptions thrown in the cprover project. More...