Skip to content
Kani End-To-End Performance Benchmarks

Use a null pointer for zero-sized slice targets of modifies clauses (… #485

Sign in to view logs

Use a null pointer for zero-sized slice targets of modifies clauses (…

Use a null pointer for zero-sized slice targets of modifies clauses (… #485

Triggered via push October 1, 2026 21:28
@github-merge-queuegithub-merge-queue[bot]
pushed 5e70300
main
Status Success
Total duration 1h 39m 26s
Artifacts –

bench-e2e.yml

on: push
perf-benchcomp
1h 39m
perf-benchcomp
Fit to window
Zoom out
Zoom in