shared_ptr<pv::device::DevInst> selected_device = _session.get_device();
list< shared_ptr<device::DevInst> > devices;
shared_ptr<pv::device::DevInst> selected_device = _session.get_device();
list< shared_ptr<device::DevInst> > devices;
std::copy(_device_manager.devices().begin(),
_device_manager.devices().end(), std::back_inserter(devices));
std::copy(_device_manager.devices().begin(),
_device_manager.devices().end(), std::back_inserter(devices));