aiken/crates/aiken-lang
KtorZ 96da70149d
Count labels in properties.
We'll piggyback on the tracing capabilities of the VM to provide labelling for prop tests. To ensure we do not interfere with normal traces, we only count traces that starts with a NUL byte as label. That convention is assumed to be known of the companion fuzz library that should then provide the labelling capabilities as a dedicated function.
2024-03-09 01:28:29 +01:00
..
src Count labels in properties. 2024-03-09 01:28:29 +01:00
Cargo.toml feat: impl serde on errythang 2024-03-08 19:19:07 -05:00