Skip to content
Back to pull request #7964

Use goto-analyzer to add assumptions, assertions and code contracts #2041

Sign in to view logs

Use goto-analyzer to add assumptions, assertions and code contracts

Use goto-analyzer to add assumptions, assertions and code contracts #2041

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-clang-format
51s
check-cpplint
1m 12s
check-rustfmt
6s
2m 9s