compact_str rust

Total: 80 trials · 0 passed · 80 failed

ETNA workload for the Rust `compact_str` crate (CompactString, an inline+heap SSO string). Each variant re-introduces one historical bug-fix into a fresh patched branch and pairs it with a framework-neutral property, four PBT adapters, and a deterministic witness test.

Crate: compact_str
Base commit: a9f7181fcc2b

Per-property results

Propertypassedfailedotherverdict
RetainPanicPreservesUtf80400bug found
TryReserveOverflowReturnsErr0400bug found
Interactive report ↗ JSON (/report.json) Raw store (/store.jsonl) etna.toml