Lines Matching refs:VERIFY
89 VERIFY((is_same<typename gen_numeric_list<int, 0>::type, numeric_list<int>>::value)); in test_gen_numeric_list()
90 VERIFY((is_same<typename gen_numeric_list<int, 1>::type, numeric_list<int, 0>>::value)); in test_gen_numeric_list()
91 VERIFY((is_same<typename gen_numeric_list<int, 2>::type, numeric_list<int, 0, 1>>::value)); in test_gen_numeric_list()
92 …VERIFY((is_same<typename gen_numeric_list<int, 5>::type, numeric_list<int, 0, 1, 2, 3, 4>>::value)… in test_gen_numeric_list()
93 …VERIFY((is_same<typename gen_numeric_list<int, 10>::type, numeric_list<int, 0, 1, 2, 3, 4, 5, 6, 7… in test_gen_numeric_list()
95 VERIFY((is_same<typename gen_numeric_list<int, 0, 42>::type, numeric_list<int>>::value)); in test_gen_numeric_list()
96 VERIFY((is_same<typename gen_numeric_list<int, 1, 42>::type, numeric_list<int, 42>>::value)); in test_gen_numeric_list()
97 VERIFY((is_same<typename gen_numeric_list<int, 2, 42>::type, numeric_list<int, 42, 43>>::value)); in test_gen_numeric_list()
98 …VERIFY((is_same<typename gen_numeric_list<int, 5, 42>::type, numeric_list<int, 42, 43, 44, 45, 46>… in test_gen_numeric_list()
99 …VERIFY((is_same<typename gen_numeric_list<int, 10, 42>::type, numeric_list<int, 42, 43, 44, 45, 46… in test_gen_numeric_list()
101 VERIFY((is_same<typename gen_numeric_list_reversed<int, 0>::type, numeric_list<int>>::value)); in test_gen_numeric_list()
102 VERIFY((is_same<typename gen_numeric_list_reversed<int, 1>::type, numeric_list<int, 0>>::value)); in test_gen_numeric_list()
103 …VERIFY((is_same<typename gen_numeric_list_reversed<int, 2>::type, numeric_list<int, 1, 0>>::value)… in test_gen_numeric_list()
104 …VERIFY((is_same<typename gen_numeric_list_reversed<int, 5>::type, numeric_list<int, 4, 3, 2, 1, 0>… in test_gen_numeric_list()
105 …VERIFY((is_same<typename gen_numeric_list_reversed<int, 10>::type, numeric_list<int, 9, 8, 7, 6, 5… in test_gen_numeric_list()
107 VERIFY((is_same<typename gen_numeric_list_reversed<int, 0, 42>::type, numeric_list<int>>::value)); in test_gen_numeric_list()
108 …VERIFY((is_same<typename gen_numeric_list_reversed<int, 1, 42>::type, numeric_list<int, 42>>::valu… in test_gen_numeric_list()
109 …VERIFY((is_same<typename gen_numeric_list_reversed<int, 2, 42>::type, numeric_list<int, 43, 42>>::… in test_gen_numeric_list()
110 …VERIFY((is_same<typename gen_numeric_list_reversed<int, 5, 42>::type, numeric_list<int, 46, 45, 44… in test_gen_numeric_list()
111 …VERIFY((is_same<typename gen_numeric_list_reversed<int, 10, 42>::type, numeric_list<int, 51, 50, 4… in test_gen_numeric_list()
113 …VERIFY((is_same<typename gen_numeric_list_swapped_pair<int, 0, 2, 3>::type, numeric_list<int>>::va… in test_gen_numeric_list()
114 …VERIFY((is_same<typename gen_numeric_list_swapped_pair<int, 1, 2, 3>::type, numeric_list<int, 0>>:… in test_gen_numeric_list()
115 …VERIFY((is_same<typename gen_numeric_list_swapped_pair<int, 2, 2, 3>::type, numeric_list<int, 0, 1… in test_gen_numeric_list()
116 …VERIFY((is_same<typename gen_numeric_list_swapped_pair<int, 5, 2, 3>::type, numeric_list<int, 0, 1… in test_gen_numeric_list()
117 …VERIFY((is_same<typename gen_numeric_list_swapped_pair<int, 10, 2, 3>::type, numeric_list<int, 0, … in test_gen_numeric_list()
119 …VERIFY((is_same<typename gen_numeric_list_swapped_pair<int, 0, 44, 45, 42>::type, numeric_list<int… in test_gen_numeric_list()
120 …VERIFY((is_same<typename gen_numeric_list_swapped_pair<int, 1, 44, 45, 42>::type, numeric_list<int… in test_gen_numeric_list()
121 …VERIFY((is_same<typename gen_numeric_list_swapped_pair<int, 2, 44, 45, 42>::type, numeric_list<int… in test_gen_numeric_list()
122 …VERIFY((is_same<typename gen_numeric_list_swapped_pair<int, 5, 44, 45, 42>::type, numeric_list<int… in test_gen_numeric_list()
123 …VERIFY((is_same<typename gen_numeric_list_swapped_pair<int, 10, 44, 45, 42>::type, numeric_list<in… in test_gen_numeric_list()
125 VERIFY((is_same<typename gen_numeric_list_repeated<int, 0, 0>::type, numeric_list<int>>::value)); in test_gen_numeric_list()
126 …VERIFY((is_same<typename gen_numeric_list_repeated<int, 1, 0>::type, numeric_list<int, 0>>::value)… in test_gen_numeric_list()
127 …VERIFY((is_same<typename gen_numeric_list_repeated<int, 2, 0>::type, numeric_list<int, 0, 0>>::val… in test_gen_numeric_list()
128 …VERIFY((is_same<typename gen_numeric_list_repeated<int, 5, 0>::type, numeric_list<int, 0, 0, 0, 0,… in test_gen_numeric_list()
129 …VERIFY((is_same<typename gen_numeric_list_repeated<int, 10, 0>::type, numeric_list<int, 0, 0, 0, 0… in test_gen_numeric_list()
134 …VERIFY((is_same<typename concat<type_list<dummy_a, dummy_a>, type_list<>>::type, type_list<dummy_a… in test_concat()
135 …VERIFY((is_same<typename concat<type_list<>, type_list<dummy_a, dummy_a>>::type, type_list<dummy_a… in test_concat()
136 …VERIFY((is_same<typename concat<type_list<dummy_a, dummy_a>, type_list<dummy_a, dummy_a>>::type, t… in test_concat()
137 …VERIFY((is_same<typename concat<type_list<dummy_a, dummy_a>, type_list<dummy_b, dummy_c>>::type, t… in test_concat()
138 …VERIFY((is_same<typename concat<type_list<dummy_a>, type_list<dummy_b, dummy_c>>::type, type_list<… in test_concat()
140 …VERIFY((is_same<typename concat<numeric_list<int, 0, 0>, numeric_list<int>>::type, numeric_list<in… in test_concat()
141 …VERIFY((is_same<typename concat<numeric_list<int>, numeric_list<int, 0, 0>>::type, numeric_list<in… in test_concat()
142 …VERIFY((is_same<typename concat<numeric_list<int, 0, 0>, numeric_list<int, 0, 0>>::type, numeric_l… in test_concat()
143 …VERIFY((is_same<typename concat<numeric_list<int, 0, 0>, numeric_list<int, 1, 2>>::type, numeric_l… in test_concat()
144 …VERIFY((is_same<typename concat<numeric_list<int, 0>, numeric_list<int, 1, 2>>::type, numeric_list… in test_concat()
146 VERIFY((is_same<typename mconcat<type_list<dummy_a>>::type, type_list<dummy_a>>::value)); in test_concat()
147 …VERIFY((is_same<typename mconcat<type_list<dummy_a>, type_list<dummy_b>>::type, type_list<dummy_a,… in test_concat()
148 …VERIFY((is_same<typename mconcat<type_list<dummy_a>, type_list<dummy_b>, type_list<dummy_c>>::type… in test_concat()
149 …VERIFY((is_same<typename mconcat<type_list<dummy_a>, type_list<dummy_b, dummy_c>>::type, type_list… in test_concat()
150 …VERIFY((is_same<typename mconcat<type_list<dummy_a, dummy_b>, type_list<dummy_c>>::type, type_list… in test_concat()
152 VERIFY((is_same<typename mconcat<numeric_list<int, 0>>::type, numeric_list<int, 0>>::value)); in test_concat()
153 …VERIFY((is_same<typename mconcat<numeric_list<int, 0>, numeric_list<int, 1>>::type, numeric_list<i… in test_concat()
154 …VERIFY((is_same<typename mconcat<numeric_list<int, 0>, numeric_list<int, 1>, numeric_list<int, 2>>… in test_concat()
155 …VERIFY((is_same<typename mconcat<numeric_list<int, 0>, numeric_list<int, 1, 2>>::type, numeric_lis… in test_concat()
156 …VERIFY((is_same<typename mconcat<numeric_list<int, 0, 1>, numeric_list<int, 2>>::type, numeric_lis… in test_concat()
164 VERIFY((is_same<typename take<0, tl>::type, type_list<>>::value)); in test_slice()
165 VERIFY((is_same<typename take<1, tl>::type, type_list<dummy_a>>::value)); in test_slice()
166 VERIFY((is_same<typename take<2, tl>::type, type_list<dummy_a, dummy_a>>::value)); in test_slice()
167 VERIFY((is_same<typename take<3, tl>::type, type_list<dummy_a, dummy_a, dummy_b>>::value)); in test_slice()
168 …VERIFY((is_same<typename take<4, tl>::type, type_list<dummy_a, dummy_a, dummy_b, dummy_b>>::value)… in test_slice()
169 …VERIFY((is_same<typename take<5, tl>::type, type_list<dummy_a, dummy_a, dummy_b, dummy_b, dummy_c>… in test_slice()
170 …VERIFY((is_same<typename take<6, tl>::type, type_list<dummy_a, dummy_a, dummy_b, dummy_b, dummy_c,… in test_slice()
172 VERIFY((is_same<typename take<0, il>::type, numeric_list<int>>::value)); in test_slice()
173 VERIFY((is_same<typename take<1, il>::type, numeric_list<int, 0>>::value)); in test_slice()
174 VERIFY((is_same<typename take<2, il>::type, numeric_list<int, 0, 1>>::value)); in test_slice()
175 VERIFY((is_same<typename take<3, il>::type, numeric_list<int, 0, 1, 2>>::value)); in test_slice()
176 VERIFY((is_same<typename take<4, il>::type, numeric_list<int, 0, 1, 2, 3>>::value)); in test_slice()
177 VERIFY((is_same<typename take<5, il>::type, numeric_list<int, 0, 1, 2, 3, 4>>::value)); in test_slice()
178 VERIFY((is_same<typename take<6, il>::type, numeric_list<int, 0, 1, 2, 3, 4, 5>>::value)); in test_slice()
180 …VERIFY((is_same<typename skip<0, tl>::type, type_list<dummy_a, dummy_a, dummy_b, dummy_b, dummy_c,… in test_slice()
181 …VERIFY((is_same<typename skip<1, tl>::type, type_list<dummy_a, dummy_b, dummy_b, dummy_c, dummy_c>… in test_slice()
182 …VERIFY((is_same<typename skip<2, tl>::type, type_list<dummy_b, dummy_b, dummy_c, dummy_c>>::value)… in test_slice()
183 VERIFY((is_same<typename skip<3, tl>::type, type_list<dummy_b, dummy_c, dummy_c>>::value)); in test_slice()
184 VERIFY((is_same<typename skip<4, tl>::type, type_list<dummy_c, dummy_c>>::value)); in test_slice()
185 VERIFY((is_same<typename skip<5, tl>::type, type_list<dummy_c>>::value)); in test_slice()
186 VERIFY((is_same<typename skip<6, tl>::type, type_list<>>::value)); in test_slice()
188 VERIFY((is_same<typename skip<0, il>::type, numeric_list<int, 0, 1, 2, 3, 4, 5>>::value)); in test_slice()
189 VERIFY((is_same<typename skip<1, il>::type, numeric_list<int, 1, 2, 3, 4, 5>>::value)); in test_slice()
190 VERIFY((is_same<typename skip<2, il>::type, numeric_list<int, 2, 3, 4, 5>>::value)); in test_slice()
191 VERIFY((is_same<typename skip<3, il>::type, numeric_list<int, 3, 4, 5>>::value)); in test_slice()
192 VERIFY((is_same<typename skip<4, il>::type, numeric_list<int, 4, 5>>::value)); in test_slice()
193 VERIFY((is_same<typename skip<5, il>::type, numeric_list<int, 5>>::value)); in test_slice()
194 VERIFY((is_same<typename skip<6, il>::type, numeric_list<int>>::value)); in test_slice()
196 VERIFY((is_same<typename slice<0, 3, tl>::type, typename take<3, tl>::type>::value)); in test_slice()
197 VERIFY((is_same<typename slice<0, 3, il>::type, typename take<3, il>::type>::value)); in test_slice()
198 VERIFY((is_same<typename slice<1, 3, tl>::type, type_list<dummy_a, dummy_b, dummy_b>>::value)); in test_slice()
199 VERIFY((is_same<typename slice<1, 3, il>::type, numeric_list<int, 1, 2, 3>>::value)); in test_slice()
207 VERIFY((is_same<typename get<0, tl>::type, dummy_a>::value)); in test_get()
208 VERIFY((is_same<typename get<1, tl>::type, dummy_a>::value)); in test_get()
209 VERIFY((is_same<typename get<2, tl>::type, dummy_b>::value)); in test_get()
210 VERIFY((is_same<typename get<3, tl>::type, dummy_b>::value)); in test_get()
211 VERIFY((is_same<typename get<4, tl>::type, dummy_c>::value)); in test_get()
212 VERIFY((is_same<typename get<5, tl>::type, dummy_c>::value)); in test_get()
251 VERIFY((!is_same_gf<dummy_a, dummy_b>::value)); in test_is_same_gf()
252 VERIFY((!!is_same_gf<dummy_a, dummy_a>::value)); in test_is_same_gf()
260 …VERIFY((!!is_same<typename apply_op_from_left<dummy_op, dummy_a, tl>::type, type_list<dummy_e, dum… in test_apply_op()
261 …VERIFY((!!is_same<typename apply_op_from_right<dummy_op, dummy_a, tl>::type, type_list<dummy_e, du… in test_apply_op()
268 VERIFY((!!contained_in_list<is_same, dummy_a, tl>::value)); in test_contained_in_list()
269 VERIFY((!!contained_in_list<is_same, dummy_b, tl>::value)); in test_contained_in_list()
270 VERIFY((!!contained_in_list<is_same, dummy_c, tl>::value)); in test_contained_in_list()
271 VERIFY((!contained_in_list<is_same, dummy_d, tl>::value)); in test_contained_in_list()
272 VERIFY((!contained_in_list<is_same, dummy_e, tl>::value)); in test_contained_in_list()
274 VERIFY((!!contained_in_list_gf<dummy_test, dummy_a, tl>::value)); in test_contained_in_list()
275 VERIFY((!!contained_in_list_gf<dummy_test, dummy_b, tl>::value)); in test_contained_in_list()
276 VERIFY((!!contained_in_list_gf<dummy_test, dummy_c, tl>::value)); in test_contained_in_list()
277 VERIFY((!contained_in_list_gf<dummy_test, dummy_d, tl>::value)); in test_contained_in_list()
278 VERIFY((!contained_in_list_gf<dummy_test, dummy_e, tl>::value)); in test_contained_in_list()
302 VERIFY((array_reverse(a) == b)); in test_array_reverse_and_reduce()
303 VERIFY((array_reverse(b) == a)); in test_array_reverse_and_reduce()
318 VERIFY((array_zip<sum_op>(a, b) == c)); in test_array_zip_and_apply()
319 VERIFY((array_zip<product_op>(a, b) == d)); in test_array_zip_and_apply()
320 VERIFY((array_apply<times2_op>(b) == e)); in test_array_zip_and_apply()
331 VERIFY((repeat<3, int>(1) == a3)); in test_array_misc()
332 VERIFY((repeat<6, int>(2) == a6)); in test_array_misc()