25 VECTOR::allocator_type
a;
31 auto const n =
random(0U, 10000U);
39 list<VECTOR::value_type> lst;
40 auto const n =
random(0U, 10000U);
42 lst.push_back(randomObject<VECTOR::value_type>());
44 VECTOR v(lst.begin(), lst.end());
55 list<VECTOR::value_type> lst;
56 auto const n =
random(0U, 10000U);
58 lst.push_back(randomObject<VECTOR::value_type>());
61 v.assign(lst.begin(), lst.end());
70 v.assign(v.begin(), v.begin() + v.size() / 2);
84 auto const n =
random(0U, 10000U);
85 auto const obj = randomObject<VECTOR::value_type>();
93 auto const n =
random(0U, 10000U);
99 auto const n1 =
random(0U, 10000U);
100 auto const n2 =
random(0U, 10000U);
101 auto const obj1 = randomObject<VECTOR::value_type>();
102 auto const obj2 = randomObject<VECTOR::value_type>();
103 VECTOR v1(n1, obj1), v2(n2, obj2);
113 auto const n1 =
random(0U, 10000U);
121 auto const n1 =
random(0U, 10000U);
122 auto const obj1 = randomObject<VECTOR::value_type>();
125 auto const n2 =
random(0U, 10000U);
126 auto const obj2 = randomObject<VECTOR::value_type>();
135 auto const n1 =
random(1U, 10000U);
136 auto const obj1 = randomObject<VECTOR::value_type>();
138 auto const n =
random(0U, v.size() - 1);
140 auto const obj2 = randomObject<VECTOR::value_type>();
144 auto const obj3 = randomObject<VECTOR::value_type>();
152 auto const n1 =
random(1U, 10000U);
153 auto const obj1 = randomObject<VECTOR::value_type>();
160 auto const n1 =
random(1U, 10000U);
162 auto const obj1 = randomObject<VECTOR::value_type>();
166 auto const n2 =
random(0U, n1 - 1);
167 auto pos = v.begin() + n2;
168 auto const obj2 = randomObject<VECTOR::value_type>();
170 auto r = v.insert(pos, obj2);
181 fbvector<VECTOR::value_type>
v, w;
182 auto const n1 =
random(1U, 10000U);
184 auto const obj1 = randomObject<VECTOR::value_type>();
188 auto const n2 =
random(0U, n1 - 1);
189 auto pos = v.begin() + n2;
190 auto const obj2 = randomObject<VECTOR::value_type>();
191 auto const n3 =
random(0U, 10000U);
193 auto r = v.insert(pos, n3, obj2);
208 auto const n1 =
random(0U, 10000U);
210 auto const obj1 = randomObject<VECTOR::value_type>();
216 auto const obj2 = randomObject<VECTOR::value_type>();
226 auto const n1 =
random(1U, 10000U);
228 auto const obj1 = randomObject<VECTOR::value_type>();
234 auto const n2 =
random(0U, n1 - 1);
235 auto it = v.erase(v.begin() + n2);
245 auto const n1 =
random(1U, 10000U);
247 auto const obj1 = randomObject<VECTOR::value_type>();
253 auto const n2 =
random(0U, n1 - 1);
254 auto const n3 =
random(n2, n1 - 1);
255 auto it = v.erase(v.begin() + n2, v.begin() + n3);
256 EXPECT_EQ(v.size() + (n3 - n2), w.size());
269 v.resize(
random(0U, 10000U));
270 auto c = v.capacity();
Integral2 random(Integral1 low, Integral2 up)
#define EXPECT_EQ(val1, val2)
#define EXPECT_GE(val1, val2)
#define FOR_EACH_RANGE(i, begin, end)
TESTFUN(clause_23_3_6_1_1)
#define EXPECT_TRUE(condition)