Validator for ICPC etc. contest solutions using test inputs.