From 773f537ccc5a106ba0fc4f2d8614a6f1c90e61ea Mon Sep 17 00:00:00 2001 From: Zain Aamer Date: Wed, 17 Jul 2024 17:04:06 -0400 Subject: [PATCH] [CN-Test-Gen] Fix typo in C expression generation --- backend/cn/testGeneration.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/backend/cn/testGeneration.ml b/backend/cn/testGeneration.ml index f16a18025..47010c92e 100644 --- a/backend/cn/testGeneration.ml +++ b/backend/cn/testGeneration.ml @@ -749,7 +749,7 @@ let rec codify_it_ (e : BT.t IT.term_) : string option = | Const (Bits ((Unsigned, bits), n)) when bits <= 64 -> Int64.to_string (Z.to_int64 n) ^ "ULL" | Const (Bool b) -> string_of_bool b - | Sym x -> Sym.pp_string x + | Sym x -> codify_sym x | Unop (Not, e') -> "(!" ^ codify_it e' ^ ")" | Unop (Negate, e') -> "(-" ^ codify_it e' ^ ")" | Binop (And, e1, e2) -> "(" ^ codify_it e1 ^ " && " ^ codify_it e2 ^ ")"