Searched refs:assertValidSpec (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/capdl/python-capdl-tool/tests/ |
| H A D | allocator.py | 24 def assertValidSpec(self, allocator, spec, ut_size, child_size, children, uts): member in class:TestAllocator
51 self.assertValidSpec(allocator, spec, ut_size_bits, child_size_bits, [child], [ut])
74 self.assertValidSpec(allocator, spec, 1 << ut_size_bits, total_child_size, children, [ut])
96 self.assertValidSpec(allocator, spec, ut_size, total_child_size, children, untyped)
154 self.assertValidSpec(allocator, spec, size_bits, size_bits, [child], [parent])
235 self.assertValidSpec(allocator, spec, 1 << ut_size_bits, ut_size, children, [ut])
|
Completed in 24 milliseconds