Repository navigation
Support explicit test cases like Rust's explicit_test_case #139
Description
Could C++ get an equivalent of Rust’s #[hegel::explicit_test_case], including for hegel::test inside GoogleTest?
I’d like to keep discovered counterexamples as permanent regression cases: run them on every invocation, expect them to pass, then continue with generated cases. failure_blobs doesn’t cover this because replay expects the example to fail.
For that regression use case, ideally we could paste the printed replay tokens directly into a fixed inline corpus. Each token would run through the existing property and be expected to pass, followed by generated cases. That would avoid manually translating counterexamples into named values.
Activity