Add verification micro-benchmarks - #44

Draft

tautschnig wants to merge 4 commits into

verification-benchmarks

Commits on Jul 29, 2026

Add verification micro-benchmarks (JBMC probe programs + runner)
tautschnig
and
kiro-agent
committed
3077a90
verification-benchmarks: HashSet probes (add/contains/remove/null/iteration + duplicate-size vacuity guard)
tautschnig
and
kiro-agent
committed
ff25a4f
verification-benchmarks: LinkedList probes (deque ends, index access, iteration vacuity guard)
tautschnig
and
kiro-agent
committed
a4197db
verification-benchmarks: LinkedHashMap/LinkedHashSet order probes (insertion, re-insert, access-order, entry views, removal vacuity guard)
tautschnig
and
kiro-agent
committed
e7241c8