varNames

private fun varNames(extension: String): Set<String>

Find all the variable names that have valid log file names with extension searchable from graderLogPath.

extension

the file extension to search for. E.g. Filename '.result.stdout' has an extension of 'stdout' and a variable name of 'result'.