Method GetDeviceNum

core/lib/exec_context.cpp:85–94

}

int ExecContext::GetDeviceNum(void)
{
    int num;

    lock_.lock();
    num = dev_list_.size();
    lock_.unlock();

    return num;
}

const char* ExecContext::GetDevice(int idx)
{