Skip to content
Kani Performance Benchmarks

Fix codegen for rvalue aggregate raw pointer to an adt with slice tai… #725

Sign in to view logs

Fix codegen for rvalue aggregate raw pointer to an adt with slice tai…

Fix codegen for rvalue aggregate raw pointer to an adt with slice tai… #725

Triggered via push November 15, 2024 19:02
@github-merge-queuegithub-merge-queue[bot]
pushed 9c2318b
main
Status Success
Total duration 1h 9m 47s
Artifacts –

bench.yml

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