common/dev.ust.zinc.grader.extension/mapCompressorExtension

mapCompressorExtension

fun mapCompressorExtension(compressorName: String): String

Maps the name of a compressor to the file extension typically used by compressed files of the compressor.