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 UNEXPECTEDCASE(S)   PRECONDITION_WITH_DIAGNOSTICS(false, S);
 
#define SMT2_TODO(S)   PRECONDITION_WITH_DIAGNOSTICS(false, "TODO: " S)
 

Detailed Description

SMT Backend.

Definition in file smt2_conv.cpp.

Macro Definition Documentation

◆ SMT2_TODO

#define SMT2_TODO (   S)    PRECONDITION_WITH_DIAGNOSTICS(false, "TODO: " S)

Definition at line 44 of file smt2_conv.cpp.

◆ UNEXPECTEDCASE

#define UNEXPECTEDCASE (   S)    PRECONDITION_WITH_DIAGNOSTICS(false, S);

Definition at line 41 of file smt2_conv.cpp.