Unhang the property tests by upgrading hegeltest
hegeltest 0.8.11 drives a Python hegel-core server that reads hypothesis internals, and a hypothesis release renamed ConjectureRunner.interesting_examples out from under it, so every test blocked forever on a reply that never came. 0.29.10 runs a native engine instead, whose #[composite] generators take &TestCase. Assisted-by: Claude Opus 5 via Claude Code
diff --git a/Cargo.lock b/Cargo.lock
index d521a56..0240001 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -225,7 +225,7 @@ version = "1.1.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "40c48f72fd53cd289104fc64099abca73db4166ad86ea0b4341abe65af83dadc"
dependencies = [
- "windows-sys 0.61.2",
+ "windows-sys 0.60.2",
]
[[package]]
@@ -236,7 +236,7 @@ checksum = "291e6a250ff86cd4a820112fb8898808a366d8f9f58ce16d1f538353ad55747d"
dependencies = [
"anstyle",
"once_cell_polyfill",
- "windows-sys 0.61.2",
+ "windows-sys 0.60.2",
]
[[package]]
@@ -574,30 +574,14 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "613afe47fcd5fac7ccf1db93babcb082c5994d996f20b8b159f2ad1658eb5724"
[[package]]
-name = "ciborium"
-version = "0.2.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "42e69ffd6f0917f5c029256a24d0161db17cea3997d185db0d35926308770f0e"
-dependencies = [
- "ciborium-io",
- "ciborium-ll",
- "serde",
-]
-
-[[package]]
-name = "ciborium-io"
-version = "0.2.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "05afea1e0a06c9be33d539b876f1ce3692f4afea2cb41f740e7743225ed1c757"
-
-[[package]]
-name = "ciborium-ll"
-version = "0.2.2"
+name = "chacha20"
+version = "0.10.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "57663b653d948a338bfb3eeba9bb2fd5fcfaecb9e199e87e1eda4d9e8b240fd9"
+checksum = "d524456ba66e72eb8b115ff89e01e497f8e6d11d78b70b1aa13c0fbd97540a81"
dependencies = [
- "ciborium-io",
- "half",
+ "cfg-if",
+ "cpufeatures 0.3.0",
+ "rand_core 0.10.1",
]
[[package]]
@@ -714,6 +698,15 @@ dependencies = [
"libc",
]
+[[package]]
+name = "cpufeatures"
+version = "0.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "8b2a41393f66f16b0823bb79094d54ac5fbd34ab292ddafb9a0456ac9f87d201"
+dependencies = [
+ "libc",
+]
+
[[package]]
name = "crc32fast"
version = "1.5.0"
@@ -723,12 +716,6 @@ dependencies = [
"cfg-if",
]
-[[package]]
-name = "crunchy"
-version = "0.2.4"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "460fbee9c2c2f33933d720630a6a0bac33ba7053db5344fac858d4b8952d77d5"
-
[[package]]
name = "crypto-common"
version = "0.1.7"
@@ -739,6 +726,25 @@ dependencies = [
"typenum",
]
+[[package]]
+name = "dashu-base"
+version = "0.4.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "993b95dc1b248e3f5747dcb017a41d6e75853a2e5ee4504f7d537c5b8dffdae4"
+
+[[package]]
+name = "dashu-int"
+version = "0.4.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "49c05a0d5cb0b39fcc87c46432fdac24b90dce239857c7f6b798be4ffc3c42c6"
+dependencies = [
+ "cfg-if",
+ "dashu-base",
+ "num-modular",
+ "rustversion",
+ "static_assertions",
+]
+
[[package]]
name = "debugid"
version = "0.8.0"
@@ -863,7 +869,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb"
dependencies = [
"libc",
- "windows-sys 0.61.2",
+ "windows-sys 0.52.0",
]
[[package]]
@@ -1280,6 +1286,7 @@ dependencies = [
"cfg-if",
"libc",
"r-efi 6.0.0",
+ "rand_core 0.10.1",
"wasip2",
"wasip3",
]
@@ -1315,17 +1322,6 @@ dependencies = [
"tracing",
]
-[[package]]
-name = "half"
-version = "2.7.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6ea2d84b969582b4b1864a92dc5d27cd2b77b622a8d79306834f1be5ba20d84b"
-dependencies = [
- "cfg-if",
- "crunchy",
- "zerocopy",
-]
-
[[package]]
name = "hashbrown"
version = "0.15.5"
@@ -1397,24 +1393,44 @@ checksum = "2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea"
[[package]]
name = "hegeltest"
-version = "0.8.11"
+version = "0.29.10"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3dd9ff270d73f0ea5b0b5e507c4551b36fe0363c0dddca3bbba3f21a78065274"
+checksum = "e35c11387a7dc4e1f5d5e5a27002b3d08140433d254baead5cdaad08ae1bf2f8"
dependencies = [
- "ciborium",
"crc32fast",
+ "dashu-int",
+ "hegeltest-c",
"hegeltest-macros",
+ "miniz_oxide",
"parking_lot",
"paste",
- "serde",
+ "rand 0.10.2",
+ "rustc-hash",
"tempfile",
]
+[[package]]
+name = "hegeltest-c"
+version = "0.32.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "dc142f28259d4695abe3f9cb1045fa0274a6a872559a0a2f746b15a892c84f37"
+dependencies = [
+ "dashu-int",
+ "hashbrown 0.17.0",
+ "libm",
+ "miniz_oxide",
+ "once_cell",
+ "rand 0.10.2",
+ "rustc-hash",
+ "rustix",
+ "windows-sys 0.61.2",
+]
+
[[package]]
name = "hegeltest-macros"
-version = "0.8.11"
+version = "0.29.10"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7c1862be4b472891951d26627364df4682c6527bb138d1649383811f7b1dbf14"
+checksum = "454c46664e50727749eaf634fe3c99504c69f469f5274e568897cabc8bfdd19d"
dependencies = [
"proc-macro2",
"quote",
@@ -1729,7 +1745,7 @@ checksum = "3640c1c38b8e4e43584d8df18be5fc6b0aa314ce6ebf51b53313d4306cca8e46"
dependencies = [
"hermit-abi",
"libc",
- "windows-sys 0.61.2",
+ "windows-sys 0.52.0",
]
[[package]]
@@ -1762,7 +1778,7 @@ dependencies = [
"portable-atomic",
"portable-atomic-util",
"serde_core",
- "windows-sys 0.61.2",
+ "windows-sys 0.52.0",
]
[[package]]
@@ -1886,6 +1902,12 @@ version = "0.2.186"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "68ab91017fe16c622486840e4c83c9a37afeff978bd239b5293d61ece587de66"
+[[package]]
+name = "libm"
+version = "0.2.16"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b6d2cec3eae94f9f509c767b45932f1ada8350c4bdb85af2fcab4a3c14807981"
+
[[package]]
name = "libsqlite3-sys"
version = "0.37.0"
@@ -2096,7 +2118,7 @@ version = "0.50.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7957b9740744892f114936ab4a57b3f487491bbeafaf8083688b16841a4240e5"
dependencies = [
- "windows-sys 0.61.2",
+ "windows-sys 0.60.2",
]
[[package]]
@@ -2105,6 +2127,12 @@ version = "0.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c6673768db2d862beb9b39a78fdcb1a69439615d5794a1be50caa9bc92c81967"
+[[package]]
+name = "num-modular"
+version = "0.6.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "bd8e500409e6cd603b03e477c26a6caecdc27ac58979a53e881c75eafc079f44"
+
[[package]]
name = "num-traits"
version = "0.2.19"
@@ -2326,7 +2354,7 @@ dependencies = [
"glob",
"opentelemetry",
"percent-encoding",
- "rand",
+ "rand 0.9.4",
"serde_json",
"thiserror",
"tracing",
@@ -2563,7 +2591,7 @@ dependencies = [
"bytes",
"getrandom 0.3.4",
"lru-slab",
- "rand",
+ "rand 0.9.4",
"ring",
"rustc-hash",
"rustls",
@@ -2625,7 +2653,7 @@ dependencies = [
"opentelemetry",
"opentelemetry_sdk",
"petgraph",
- "rand",
+ "rand 0.9.4",
"regex",
"sentry",
"sentry-opentelemetry",
@@ -2662,7 +2690,7 @@ dependencies = [
"predicates",
"pulldown-cmark",
"quire-core",
- "rand",
+ "rand 0.9.4",
"regex",
"rusqlite",
"rusqlite_migration",
@@ -2711,7 +2739,18 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "44c5af06bb1b7d3216d91932aed5265164bf384dc89cd6ba05cf59a35f5f76ea"
dependencies = [
"rand_chacha",
- "rand_core",
+ "rand_core 0.9.5",
+]
+
+[[package]]
+name = "rand"
+version = "0.10.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c7f5fa3a058cd35567ef9bfa5e75732bee0f9e4c55fa90477bef2dfcdbc4be80"
+dependencies = [
+ "chacha20",
+ "getrandom 0.4.2",
+ "rand_core 0.10.1",
]
[[package]]
@@ -2721,7 +2760,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d3022b5f1df60f26e1ffddd6c66e8aa15de382ae63b3a0c1bfc0e4d3e3f325cb"
dependencies = [
"ppv-lite86",
- "rand_core",
+ "rand_core 0.9.5",
]
[[package]]
@@ -2733,6 +2772,12 @@ dependencies = [
"getrandom 0.3.4",
]
+[[package]]
+name = "rand_core"
+version = "0.10.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "63b8176103e19a2643978565ca18b50549f6101881c443590420e4dc998a3c69"
+
[[package]]
name = "redox_syscall"
version = "0.5.18"
@@ -2897,7 +2942,7 @@ dependencies = [
"errno",
"libc",
"linux-raw-sys",
- "windows-sys 0.61.2",
+ "windows-sys 0.52.0",
]
[[package]]
@@ -2956,7 +3001,7 @@ dependencies = [
"security-framework",
"security-framework-sys",
"webpki-root-certs",
- "windows-sys 0.61.2",
+ "windows-sys 0.52.0",
]
[[package]]
@@ -3107,7 +3152,7 @@ version = "0.48.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "545dc562b6758d646ac19e1407f4ebc26d452111386743e03323464bc48bb2e0"
dependencies = [
- "rand",
+ "rand 0.9.4",
"sentry-types",
"serde",
"serde_json",
@@ -3166,7 +3211,7 @@ checksum = "041359745a44dd2e14fe21b7510fe7ca8b5beffce6636a0b52e5bc7d5f736887"
dependencies = [
"debugid",
"hex",
- "rand",
+ "rand 0.9.4",
"serde",
"serde_json",
"thiserror",
@@ -3304,7 +3349,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e3bf829a2d51ab4a5ddf1352d8470c140cadc8301b2ae1789db023f01cedd6ba"
dependencies = [
"cfg-if",
- "cpufeatures",
+ "cpufeatures 0.2.17",
"digest",
]
@@ -3390,7 +3435,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3a766e1110788c36f4fa1c2b71b387a7815aa65f88ce0229841826633d93723e"
dependencies = [
"libc",
- "windows-sys 0.61.2",
+ "windows-sys 0.60.2",
]
[[package]]
@@ -3411,6 +3456,12 @@ version = "1.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6ce2be8dc25455e1f91df71bfa12ad37d7af1092ae736f3a6cd0e37bc7810596"
+[[package]]
+name = "static_assertions"
+version = "1.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "a2eb9349b6444b326872e140eb1cf5e7c522154d69e7a0ffb0fb81c06b37543f"
+
[[package]]
name = "strip-ansi-escapes"
version = "0.2.1"
@@ -3501,10 +3552,10 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "32497e9a4c7b38532efcdebeef879707aa9f794296a4f0244f6f69e9bc8574bd"
dependencies = [
"fastrand",
- "getrandom 0.4.2",
+ "getrandom 0.3.4",
"once_cell",
"rustix",
- "windows-sys 0.61.2",
+ "windows-sys 0.52.0",
]
[[package]]
@@ -3514,7 +3565,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "230a1b821ccbd75b185820a1f1ff7b14d21da1e442e22c0863ea5f08771a8874"
dependencies = [
"rustix",
- "windows-sys 0.61.2",
+ "windows-sys 0.60.2",
]
[[package]]
@@ -4209,7 +4260,7 @@ version = "0.1.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c2a7b1c03c876122aa43f3020e6c3c3ee5c05081c9a00739faf7503aeba10d22"
dependencies = [
- "windows-sys 0.61.2",
+ "windows-sys 0.52.0",
]
[[package]]
diff --git a/quire-server/tests/property.rs b/quire-server/tests/property.rs
index b4a9d2e..368f065 100644
--- a/quire-server/tests/property.rs
+++ b/quire-server/tests/property.rs
@@ -11,7 +11,7 @@ const ZERO_SHA: &str = "0000000000000000000000000000000000000000";
const MIN_REDACT_LEN: usize = 8;
#[hegel::composite]
-fn push_ref(tc: TestCase) -> PushRef {
+fn push_ref(tc: &TestCase) -> PushRef {
PushRef {
ref_name: tc.draw(text()),
old_sha: tc.draw(text()),
@@ -21,7 +21,7 @@ fn push_ref(tc: TestCase) -> PushRef {
}
#[hegel::composite]
-fn push_event(tc: TestCase) -> PushEvent {
+fn push_event(tc: &TestCase) -> PushEvent {
// jiff::Timestamp range: -377705023201..=253402207200 seconds.
let secs = tc.draw(
integers::<i64>()
@@ -126,7 +126,7 @@ fn secret_name(i: usize) -> String {
}
#[hegel::composite]
-fn unique_secret_entries(tc: TestCase) -> Vec<(String, String)> {
+fn unique_secret_entries(tc: &TestCase) -> Vec<(String, String)> {
let count = tc.draw(integers::<usize>().min_value(1).max_value(8));
let mut seen = std::collections::HashSet::new();
let mut entries = Vec::new();
@@ -141,7 +141,7 @@ fn unique_secret_entries(tc: TestCase) -> Vec<(String, String)> {
}
#[hegel::composite]
-fn resolved_registry(tc: TestCase) -> SecretRegistry {
+fn resolved_registry(tc: &TestCase) -> SecretRegistry {
let entries = tc.draw(unique_secret_entries());
let mut map = HashMap::new();
for (name, value) in &entries {
@@ -156,7 +156,7 @@ fn resolved_registry(tc: TestCase) -> SecretRegistry {
}
#[hegel::composite]
-fn text_with_secrets(tc: TestCase) -> (SecretRegistry, String) {
+fn text_with_secrets(tc: &TestCase) -> (SecretRegistry, String) {
let entries = tc.draw(unique_secret_entries());
let mut map = HashMap::new();
let mut long_values: Vec<String> = Vec::new();