Method allocFreeTest

unittests/device.cpp:67–75

  }

  void allocFreeTest() {
    PageProxy pp(lenv(), ldb());
    DeviceProxy dp(lenv());

    dp.require_open()
      .alloc_page(pp);
    REQUIRE(pp.page->data());
    dp.free_page(pp);
  }

  void flushTest() {
    DeviceProxy dp(lenv());