cproof/tests/test_cmd_disconnect.h

void clears_chat_sessions(void **state);