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)
110             self.assertEqual(syms_ctx.GetSize(), 1)