Fix aftermath of proptest switch

[codecov[bot]]

Codecov Report

All modified lines are covered by tests :white_check_mark:

Comparison is base (fe5453c) 54.71% compared to head (bbdf1a1) 54.98%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## master #63 +/- ## ========================================== + Coverage 54.71% 54.98% +0.26% ========================================== Files 30 30 Lines 4461 4461 ========================================== + Hits 2441 2453 +12 + Misses 2020 2008 -12 ``` | [Flag](https://app.codecov.io/gh/HadrienG2/hwlocality/pull/63/flags?src=pr&el=flags&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Hadrien+G.) | Coverage Δ | | |---|---|---| | [ubuntu-latest](https://app.codecov.io/gh/HadrienG2/hwlocality/pull/63/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Hadrien+G.) | `55.95% <100.00%> (+0.42%)` | :arrow_up: | | [windows-latest](https://app.codecov.io/gh/HadrienG2/hwlocality/pull/63/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Hadrien+G.) | `54.51% <100.00%> (+0.28%)` | :arrow_up: | Flags with carried forward coverage won't be shown. [Click here](https://docs.codecov.io/docs/carryforward-flags?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Hadrien+G.#carryforward-flags-in-the-pull-request-comment) to find out more. | [Files](https://app.codecov.io/gh/HadrienG2/hwlocality/pull/63?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Hadrien+G.) | Coverage Δ | | |---|---|---| | [src/ffi/int.rs](https://app.codecov.io/gh/HadrienG2/hwlocality/pull/63?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Hadrien+G.#diff-c3JjL2ZmaS9pbnQucnM=) | `100.00% <ø> (+1.64%)` | :arrow_up: | | [src/ffi/string.rs](https://app.codecov.io/gh/HadrienG2/hwlocality/pull/63?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Hadrien+G.#diff-c3JjL2ZmaS9zdHJpbmcucnM=) | `100.00% <100.00%> (+1.66%)` | :arrow_up: | | [src/ffi/transparent.rs](https://app.codecov.io/gh/HadrienG2/hwlocality/pull/63?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Hadrien+G.#diff-c3JjL2ZmaS90cmFuc3BhcmVudC5ycw==) | `100.00% <ø> (ø)` | | | [src/lib.rs](https://app.codecov.io/gh/HadrienG2/hwlocality/pull/63?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Hadrien+G.#diff-c3JjL2xpYi5ycw==) | `77.41% <100.00%> (-1.16%)` | :arrow_down: | | [src/object/attributes.rs](https://app.codecov.io/gh/HadrienG2/hwlocality/pull/63?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Hadrien+G.#diff-c3JjL29iamVjdC9hdHRyaWJ1dGVzLnJz) | `100.00% <100.00%> (+0.33%)` | :arrow_up: | | [src/path.rs](https://app.codecov.io/gh/HadrienG2/hwlocality/pull/63?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Hadrien+G.#diff-c3JjL3BhdGgucnM=) | `100.00% <ø> (+28.57%)` | :arrow_up: | | [src/topology/builder.rs](https://app.codecov.io/gh/HadrienG2/hwlocality/pull/63?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Hadrien+G.#diff-c3JjL3RvcG9sb2d5L2J1aWxkZXIucnM=) | `79.55% <ø> (ø)` | |

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.