예제 #1
0
 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
예제 #2
0
 def postconditions(self):
     return [(ExitCodePostcondition(), 'CME')]