Function parse_smt_literal 

pub fn parse_smt_literal(a: &str) -> SmtString

Parse a string literal in the SMT-LIB syntax and convert it to an SmtString.

Example

use aws_smt_strings::smt_strings::*;

assert_eq!(parse_smt_literal("abc"), SmtString::from(&[97, 98, 99]));
assert_eq!(parse_smt_literal(r"a\u0000C"), SmtString::from(&[97, 0, 67]));

// bad escape sequences are copied verbatim
assert_eq!(parse_smt_literal(r"\u2CA"), SmtString::from(&[92, 117, 50, 67, 65]));