cproof/tests/functionaltests/test_software.h

void send_software_version_request(void **state);
void display_software_version_result(void **state);