@After public void after() { blkMgrRecords.endUpdate() ; }
@Test public void bpt_records_2()
{
BPTreeRecords bpr = make() ;
fill(bpr) ;
int s = bpr.getCount();
assertTrue(bpr.isFull()) ;
BPTreePage z = bpr.split() ;
assertTrue(z instanceof BPTreeRecords) ;
assertEquals(s, z.getCount()+bpr.getCount()) ;
check(bpr) ;
check((BPTreeRecords)z) ;
bpr.release() ;
z.release() ;
}