hacspec
`-i` flag doesn't work correctly with ProVerif backend
On certain -i configurations, the ProVerif backend misses things that should be included. Cross-testing with the F* backend, which extracts the the items correctly indicates that the issue is in the ProVerif backend.
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
@jschneider-bensch do you think you could retry this and find a reproducer here? (even a large one)
