SolverOutputParser (B2R2)

SolverOutputParser Module

Parses the small subset of solver output used by SymbEval.

Function or value	Description
`SolverOutputParser.extract values modelText` Full Usage: `SolverOutputParser.extract values modelText` Parameters: values : `SymbExpr list` modelText : `string` Returns: `Result<SolverOutput, SymbEvalError>`	Extract requested SymbEval values from raw solver model text. values : `SymbExpr list` modelText : `string` Returns: `Result<SolverOutput, SymbEvalError>`
`SolverOutputParser.parseModel modelText` Full Usage: `SolverOutputParser.parseModel modelText` Parameters: modelText : `string` Returns: `Result<Map<string, BitVector>, SymbEvalError>`	Parse zero-arity bit-vector definitions in a raw solver model. modelText : `string` Returns: `Result<Map<string, BitVector>, SymbEvalError>`
`SolverOutputParser.parseStatus stdout` Full Usage: `SolverOutputParser.parseStatus stdout` Parameters: stdout : `string` Returns: `Result<SolverStatus, SymbEvalError>`	Parse a raw solver status string. stdout : `string` Returns: `Result<SolverStatus, SymbEvalError>`
`SolverOutputParser.validate values` Full Usage: `SolverOutputParser.validate values` Parameters: values : `SymbExpr list` Returns: `Result<unit, SymbEvalError>`	Validate requested SymbEval values before asking for a model. values : `SymbExpr list` Returns: `Result<unit, SymbEvalError>`