I found Strategy but could not find its Github URL..
You can find it with alr show strategy. It’s here: GitHub - Fabien-Chouteau/strategy: Property Based Testing for Ada
1 Like
Hello @ocyou I am the author of the “strategy” crate. This is mostly a proof-of-concept at this stage, and I will present it at the Ada Developers workshop in June:
https://www.ada-europe.org/conference2025/workshop_adadev.html
Don’t hesitate to open an issue on GitHub (or ask questions here).
4 Likes
Thank you @Fabien.C
Do you think those sessions will be published on YouTube? I’d really like to watch some of them
They will be livestreamed and uploaded afterwards, so you can join live (by registering) or wait for the videos to be published 
2 Likes