Allow 0c hex format in the SMT parser

rems-project · Oct 16, 2023 · c2b11f0 · c2b11f0
1 parent 682f3d1
commit c2b11f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/isla-lib/src/smt_parser.lalrpop b/isla-lib/src/smt_parser.lalrpop
@@ -112,7 +112,7 @@ pub Exp: Exp<Loc<String>> = {
 
 Exp1: Exp<Loc<String>> = {
     <loc:Loc> =>? Ok(Exp::Var(loc)),
-    <bv:r"[#0][bx][0-9A-Fa-f]+"> =>? Ok(smt_bits_from_str(bv).ok_or_else(|| format!("Bad bitvector literal {}", bv))?),
+    <bv:r"[#0][bcx][0-9A-Fa-f]+"> =>? Ok(smt_bits_from_str(bv).ok_or_else(|| format!("Bad bitvector literal {}", bv))?),
     "true" => Exp::Bool(true),
     "false" => Exp::Bool(false),
     "not"   <e:Exp1> => Exp::Not(Box::new(e)),