Skip to content
Kani Extra

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

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 #2614

Run time

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