Automatically analyze interface summaries

awslabs / ar-go-tools

ar-go-tools (Argot) is a collection of analysis tools for Go

Apache License 2.0

5 stars 1 forks source link

Open victornicolet opened 3 months ago

victornicolet commented 3 months ago

Interface summaries should be automatically analyzed to ensure soundness guarantees do not depend on users for this use case.

github-actions[bot] commented 2 weeks ago

Stale issue message