void sessionmanager_2()
{
DBRM dbrm;
SessionManagerServer::TxnID tmp;
int ver1, ver2;
ver1 = dbrm.verID();
tmp = dbrm.newTxnID(1000, true);
ver2 = dbrm.verID();
CPPUNIT_ASSERT(ver2 == ver1 + 1);
CPPUNIT_ASSERT(ver2 == tmp.id);
CPPUNIT_ASSERT(tmp.valid == true);
dbrm.committed(tmp);
CPPUNIT_ASSERT(tmp.valid == false);
}
void sessionmanager_1()
{
DBRM dbrm;
int tmp = -1;
tmp = dbrm.verID();
// there's no "correct" value b/c it's monotonically increasing.
}