Python precondition примеры использования

Пример #1

Файл: test_statefultesting.py Проект: bearrito/hypothesis

 def dec(self):
     precondition(self.value > 0)
     start_value = self.value
     if(self.value != 5): self.value -= 1
     assert self.value == start_value - 1

Пример #2

 def right(self):
     precondition(self.lefts >= self.rights)
     self.rights += 1
     assert self.rights < 3

Пример #3

 def dec(self):
     precondition(self.value > 0)
     start_value = self.value
     if(self.value != 5):
         self.value -= 1
     assert self.value == start_value - 1

Пример #4

 def left(self):
     precondition(self.rights >= self.lefts)
     self.lefts += 1