test(ibverbs): add more tests for Device and DeviceList

[shadychan]

No description provided.

[dragonJACson]

@shadychan Please try to cherry-pick #73 to see if it fixes the CI

[dragonJACson]

Could be format!("mock{i}"); but this is fine, try to use

ibv_dev.dev_name.copy_from_slice(CString::new(format!("mock{i}")).unwrap().as_bytes_with_nul());

It seems dev_name are [i8; 64], while CString::as_bytes_with_nul returns &[u8]. Guess we need to change rdma-mummy-sys cc @FujiZ

[dragonJACson]

@shadychan Please try to cherry-pick #73 to see if it fixes the CI

It seems that the PRs not from this repo wouldn't have access to the repository secrets, so codecov failed to upload the coverage info, I've remove the need of token on codecov's website.

[shadychan]

@shadychan Please try to cherry-pick #73 to see if it fixes the CI

@dragonJACson Still got Error: Got unexpected extra argument (github) on CI command ./codecov --verbose upload-process --disable-search --fail-on-error -t $CODECOV_TOKEN --git-service github -f ./lcov.info

[dragonJACson]

@shadychan Please try to cherry-pick #73 to see if it fixes the CI

@dragonJACson Still got Error: Got unexpected extra argument (github) on CI command ./codecov --verbose upload-process --disable-search --fail-on-error -t $CODECOV_TOKEN --git-service github -f ./lcov.info

Yes, I guess that's because $CODECOV_TOKEN couldn't be read, could you please cherry-pick the newest commit in #73 and try again?

[codecov]

Codecov Report

❌ Patch coverage is 98.41270% with 1 line in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
src/ibverbs/device.rs	98.41%	1 Missing ⚠️

Files with missing lines	Coverage Δ
src/ibverbs/device.rs	94.35% <98.41%> (+7.50%)	⬆️

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.