Searched refs:BTOR_TRAPI_RETURN_STR (Results 1 – 2 of 2) sorted by relevance
81 #define BTOR_TRAPI_RETURN_STR(res) BTOR_TRAPI_RETURN ("%s", res) macro
914 BTOR_TRAPI_RETURN_STR (res); in boolector_get_opt_lng()929 BTOR_TRAPI_RETURN_STR (res); in boolector_get_opt_shrt()944 BTOR_TRAPI_RETURN_STR (res); in boolector_get_opt_desc()3619 BTOR_TRAPI_RETURN_STR (res); in boolector_get_symbol()