Skip to content
Kani Extra

Fix codegen for rvalue aggregate raw pointer to an adt with slice tail #2467

Sign in to view logs

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

Fix codegen for rvalue aggregate raw pointer to an adt with slice tail #2467

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Auto Label
5s
Verification Benchmarks / perf-benchcomp
1h 6m 1s
1h 6m 6s