Lines Matching refs:GetSize
32 self.assertEqual(unstripped_bazval_symbols.GetSize(), 1)
34 self.assertEqual(unstripped_patval_symbols.GetSize(), 1)
36 self.assertEqual(unstripped_Z3foo_symbols.GetSize(), 1)
38 self.assertEqual(unstripped_foo_symbols.GetSize(), 1)
43 self.assertEqual(unstripped_Z3pat_symbols.GetSize(), 1)
45 self.assertEqual(unstripped_pat_symbols.GetSize(), 1)
47 self.assertEqual(unstripped_patint_symbols.GetSize(), 1)
50 self.assertEqual(unstripped_bar_symbols.GetSize(), 1)
66 self.assertEqual(stripped_bazval_symbols.GetSize(), 1)
68 self.assertEqual(stripped_patval_symbols.GetSize(), 1)
70 self.assertEqual(stripped_Z3foo_symbols.GetSize(), 1)
72 self.assertEqual(stripped_foo_symbols.GetSize(), 1)
77 self.assertEqual(stripped_Z3pat_symbols.GetSize(), 1)
79 self.assertEqual(stripped_pat_symbols.GetSize(), 1)
81 self.assertEqual(stripped_patint_symbols.GetSize(), 1)
86 self.assertEqual(stripped_bar_symbols.GetSize(), 0)
91 self.assertEqual(syms_ctx.GetSize(), 2)
107 self.assertEqual(syms_ctx.GetSize(), 1)