Skip to content
Back to pull request #5445

Fix the CLI output of formal verification runs #5799

Sign in to view logs

Fix the CLI output of formal verification runs

Fix the CLI output of formal verification runs #5799

Run time

Learn about OS pricing on GitHub Actions
Job Run time
apply-diff
3s
halmos
47s
verify
0s
50s