cprover
smt2_conv.cpp File Reference

SMT Backend. More...

Include dependency graph for smt2_conv.cpp:

Go to the source code of this file.

Macros

#define PARSERERROR(S)   throw S
 
#define INVALIDEXPR(S)   throw "Invalid expression: " S
 
#define UNEXPECTEDCASE(S)   throw "Unexpected case: " S
 
#define SMT2_TODO(S)   throw "TODO: " S
 

Detailed Description

SMT Backend.

Definition in file smt2_conv.cpp.

Macro Definition Documentation

§ INVALIDEXPR

§ PARSERERROR

#define PARSERERROR (   S)    throw S

Definition at line 39 of file smt2_conv.cpp.

Referenced by smt2_convt::parse_literal().

§ SMT2_TODO

§ UNEXPECTEDCASE