229 #define LOG_API_CALL_END(...) \  macro
246 #define LOG_API_CALL_END(...) do { } while (0)  macro
386   LOG_API_CALL_END ("reserve", min_max_var);  in reserve()
400   LOG_API_CALL_END ("trace_api_calls");  in trace_api_calls()
432   LOG_API_CALL_END ("set", arg, val, res);  in set()
449   LOG_API_CALL_END ("set", arg, res);  in set_long_option()
457   LOG_API_CALL_END ("optimize", arg);  in optimize()
464   LOG_API_CALL_END ("limit", arg, val, res);  in limit()
476   LOG_API_CALL_END ("prefix", str);  in prefix()
489   LOG_API_CALL_END ("config", name, res);  in configure()
503   LOG_API_CALL_END ("add", lit);  in add()
512   LOG_API_CALL_END ("assume", lit);  in assume()
611   LOG_API_CALL_END ("terminate");  in terminate()
625   LOG_API_CALL_END ("connect_terminator");  in connect_terminator()
638   LOG_API_CALL_END ("disconnect_terminator");  in disconnect_terminator()
674   LOG_API_CALL_END ("freeze", lit);  in freeze()
684   LOG_API_CALL_END ("melt", lit);  in melt()
732   LOG_API_CALL_END ("close_proof_trace");  in close_proof_trace()
809   LOG_API_CALL_END ("stats");  in statistics()
876   LOG_API_CALL_END ("dump");  in dump_cnf()