void Z3_API Z3_enable_trace(Z3_string tag) { memory::initialize(UINT_MAX); LOG_Z3_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()); }
cell proc_go(const cell &arglist) { if (!arglist.car || arglist.car->type != v_symbol) throw(exception("Error: expected symbol as argument to go.")); throw(tag_sym(arglist.car->str)); }