Searched refs:test_basename (Results 1 – 1 of 1) sorted by relevance
226 test_basename="$(basename "$test_file")"227 test_file="${test_dir}/${test_basename}"244 echo "Test problem file, $test_basename:" | tee -a $output_file