BitwuzlaResult

Warning

doxygenenum: Cannot find enum “BitwuzlaResult” in doxygen xml output for project “Bitwuzla_c” from directory: /home/an/git/dev/bitwuzla/build-docs/docs/c/xml

const char *bitwuzla_result_to_string(BitwuzlaResult result)

Get the string representation of a result.

Note

The returned char* pointer is only valid until the next call to bitwuzla_result_to_string.

Returns:

A string representation of the given result.