Searched defs:body_result (Results 1 – 1 of 1) sorted by relevance
268 model::test_result body_result; member302 model::test_result body_result; member1440 const model::test_result& body_result = cleanup_data->body_result; in wait_any() local1498 const model::test_result& body_result = execenv_data->body_result; in wait_any() local