Skip to content
formal verification

perf: short-circuit Slice equality on length mismatch #9652

Sign in to view logs

perf: short-circuit Slice equality on length mismatch

perf: short-circuit Slice equality on length mismatch #9652

Run time

Learn about OS pricing on GitHub Actions
Job Run time
halmos
6m 50s
apply-diff
6s
verify
0s
6m 56s