[ProVerif] Extraction / analysis is not on CI
Open
ci
enhancement
- Dominant language
- F*
- Stars
- 138
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
- [ ] Successful extraction should be checked by CI
- [ ] We can easily check that the extracted model is valid ProVerif
Automatically checking the results of the analysis are as expected probably requires more tooling around getting that information from the ProVerif output
Contributor guide
Assessment
This issue has not been assessed yet.