cproof/tests/functionaltests/test_disconnect.h

void disconnect_ends_session(void **state);