def postconditions(self): conditions = [] if 'time' in self.limits: conditions.append( (UsedTimePostcondition(self.limits['time']), 'TLE')) if 'memory' in self.limits: conditions.append( (UsedMemoryPostcondition(self.limits['memory']), 'MEM')) conditions.append((ExitCodePostcondition(), 'RTE')) return conditions
def postconditions(self): return [(ExitCodePostcondition(), 'CME')]