Esempio n. 1
0
def test_int_list_extend():
    x = IntList.of_length(3)
    n = 2**64 - 1
    x.extend([n])
    assert list(x) == [0, 0, 0, n]
Esempio n. 2
0
 def begin(self):
     self.result = IntList.of_length(len(self.examples))
Esempio n. 3
0
def test_int_list_of_length():
    assert list(IntList.of_length(10)) == [0] * 10
Esempio n. 4
0
 def begin(self):
     self.starts = IntList.of_length(len(self.examples))
     self.ends = IntList.of_length(len(self.examples))
Esempio n. 5
0
 def begin(self):
     self.nontrivial = IntList.of_length(len(self.examples))
     self.result = set()
Esempio n. 6
0
 def begin(self):
     """Called at the beginning of the run to initialise any
     relevant state."""
     self.result = IntList.of_length(len(self.examples))
Esempio n. 7
0
 def begin(self):
     self.result = IntList.of_length(len(self.examples))
Esempio n. 8
0
 def begin(self):
     self.nontrivial = IntList.of_length(len(self.examples))
     self.result = set()
Esempio n. 9
0
 def begin(self):
     self.starts = IntList.of_length(len(self.examples))
     self.ends = IntList.of_length(len(self.examples))
Esempio n. 10
0
 def begin(self):
     """Called at the beginning of the run to initialise any
     relevant state."""
     self.result = IntList.of_length(len(self.examples))