Lines Matching defs:initial_value
74 const unsigned initial_value = 4;
75 SatCounter counter(bits, initial_value);
76 ASSERT_EQ(counter, initial_value);
79 ASSERT_EQ(counter, initial_value);
147 const unsigned initial_value = 1;
148 SatCounter counter(bits, initial_value);
149 SatCounter other(bits, initial_value);
153 int value = initial_value;
173 value = initial_value;
225 const unsigned initial_value = 1;
226 SatCounter counter(bits, initial_value);
237 ASSERT_EQ(counter_copy_constructor, initial_value + 1);
238 ASSERT_EQ(counter_copy, initial_value + 1);
239 ASSERT_EQ(deep_copy, initial_value + 1);
248 ASSERT_EQ(counter, initial_value + 1);
257 ASSERT_EQ(counter_copy_constructor, initial_value);
258 ASSERT_EQ(counter_copy, initial_value);
259 ASSERT_EQ(deep_copy, initial_value);
264 ASSERT_EQ(counter_move_constructor, initial_value + 1);
269 ASSERT_EQ(counter_move, initial_value + 1);