SMTLibSerializer (B2R2)

SMTLibSerializer Module

Serializes symbolic expressions and path conditions into SMT-LIB.

Function or value	Description
`SMTLibSerializer.serializeAssertions pathCondition additionalDeclExprs` Full Usage: `SMTLibSerializer.serializeAssertions pathCondition additionalDeclExprs` Parameters: pathCondition : `SymbExpr list` additionalDeclExprs : `SymbExpr list` Returns: `string`	pathCondition : `SymbExpr list` additionalDeclExprs : `SymbExpr list` Returns: `string`
`SMTLibSerializer.serializeExpr expr` Full Usage: `SMTLibSerializer.serializeExpr expr` Parameters: expr : `SymbExpr` Returns: `string`	expr : `SymbExpr` Returns: `string`