This repository was archived by the owner on Oct 20, 2025. It is now read-only.
Property-Based Testing #2
Description
As per #1, it is now possible to specify custom trust anchors and generate attestation statements automatically in software.
This has huge potential for property-based testing.
However, only failure-cases can easily be tested automatically, success-cases are more tricky.