Function format_err_kind

examples/client/c/src/clockbound_loop_forever.c:33–50

* Helper function to convert clockbound error kind codes into a human readable version. */

 * Helper function to convert clockbound error kind codes into a human readable version.
 */
char * format_err_kind(clockbound_err_kind kind) {
        switch (kind) {
                case CLOCKBOUND_ERR_NONE:
                        return "No error";
                case CLOCKBOUND_ERR_SYSCALL:
                        return "Syscall error";
                case CLOCKBOUND_ERR_SEGMENT_NOT_INITIALIZED:
                        return "Segment not initialized error";
                case CLOCKBOUND_ERR_SEGMENT_MALFORMED:
                        return "Segment malformed error";
                case CLOCKBOUND_ERR_CAUSALITY_BREACH:
                        return "Causality breach error";
                case CLOCKBOUND_ERR_SEGMENT_VERSION_NOT_SUPPORTED:
                        return "Segment version not supported error";
                default:
                        return "BAD ERROR KIND";
        }
}

/*
 * Helper function to print out errors returned by libclockbound.