stlc-rust Rust

Total: 582 trials · 0 passed · 580 failed

Simply Typed Lambda Calculus property-based testing workload (Rust).

Per-property results

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