From 4ea06b8040cf307a1b274a7ea242dc1a1475febe Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 7 Jan 2013 16:22:47 -0800 Subject: [PATCH] Fix Z3_enable_trace API Signed-off-by: Leonardo de Moura --- src/api/api_context.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/api/api_context.cpp b/src/api/api_context.cpp index 441190ba5..6106cb6c7 100644 --- a/src/api/api_context.cpp +++ b/src/api/api_context.cpp @@ -492,8 +492,11 @@ extern "C" { } void Z3_API Z3_enable_trace(Z3_string tag) { + memory::initialize(UINT_MAX); LOG_Z3_enable_trace(tag); - enable_trace(tag); + // Tag is a string that was probably not allocated by Z3. Create a copy using symbol. + symbol tag_sym(tag); + enable_trace(tag_sym.bare_str()); } void Z3_API Z3_disable_trace(Z3_string tag) {