Searched refs:_checkerrtest_name (Results 1 – 1 of 1) sorted by relevance
156 _checkerrtest_name="$1"165 checkcrash "$_checkerrtest_d" "$_checkerrtest_error" "$_checkerrtest_name"168 die "$_checkerrtest_d" "returned no error" "$_checkerrtest_name" 127179 "$_checkerrtest_name" "$_checkerrtest_error"184 die "$_checkerrtest_d" "produced no error message" "$_checkerrtest_name" "$_checkerrtest_error"