Searched refs:_checkerrtest_name (Results 1 – 1 of 1) sorted by relevance
275 _checkerrtest_name="$1"284 checkcrash "$_checkerrtest_d" "$_checkerrtest_error" "$_checkerrtest_name"287 die "$_checkerrtest_d" "returned no error" "$_checkerrtest_name" 127300 "$_checkerrtest_name" "$_checkerrtest_error"305 die "$_checkerrtest_d" "produced no error message" "$_checkerrtest_name" "$_checkerrtest_error"