Change proptest to property_test

[skejserjensen]

This PR fixes #372 by changing all proptest to property_test.

[Copilot]

Pull request overview

This PR addresses #372 by migrating property-based tests from the proptest! { ... } macro to the #[property_test] attribute macro to improve tooling compatibility (e.g., rustfmt support within tests).

Changes:

• Replaced proptest! macro blocks with #[property_test] functions and #[strategy = ...] parameters across multiple test modules.
• Enabled proptest’s attribute-macro feature in Cargo.toml to support #[property_test].
• Updated dependency lockfile as part of the dependency resolution changes.

Reviewed changes

Copilot reviewed 9 out of 10 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
crates/modelardb_types/src/types.rs	Converts ErrorBound proptests to #[property_test] with inline strategies.
crates/modelardb_server/src/storage/uncompressed_data_buffer.rs	Converts sorting proptests to #[property_test] and reformats for readability.
crates/modelardb_compression/src/models/timestamps.rs	Converts timestamp compression proptest to #[property_test].
crates/modelardb_compression/src/models/swing.rs	Converts many Swing proptests to #[property_test] and updates strategies.
crates/modelardb_compression/src/models/pmc_mean.rs	Converts PMCMean proptests to #[property_test].
crates/modelardb_compression/src/models/mod.rs	Converts models module proptests to #[property_test].
crates/modelardb_compression/src/models/macaque_v.rs	Converts MacaqueV proptests to #[property_test] and adjusts formatting.
crates/modelardb_compression/src/models/bits.rs	Converts BitVec proptest to #[property_test].
Cargo.toml	Enables proptest feature attr-macro.
Cargo.lock	Adds proptest-macro and includes broad dependency version updates.

Suppressed comments (1)

crates/modelardb_types/src/types.rs:734

• The generated strategy includes 0.0, but try_new_relative(0.0) is expected to fail (see test_relative_error_bound_cannot_be_zero). This property test will fail whenever 0.0 is generated. Use a strictly-positive range.

        #[strategy = 0.0..=f32::MAX] percentage: f32,

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.