Skip to content
Kani Extra

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

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

Triggered via pull request November 15, 2024 06:10
@celinvalcelinval
synchronize #3644
Status Failure
Total duration 1h 5m 46s
Artifacts –

extra_jobs.yml

on: pull_request_target
Auto Label
7s
Auto Label
Verification Benchmarks  /  perf-benchcomp
1h 5m
Verification Benchmarks / perf-benchcomp
Fit to window
Zoom out
Zoom in

Annotations

1 error
Verification Benchmarks / perf-benchcomp
Process completed with exit code 1.