Skip to content
Kani Format Check

Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str #7763

Sign in to view logs

Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str

Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str #7763

Triggered via pull request August 22, 2024 18:17
@celinvalcelinval
synchronize #3448
celinval:issue-3312-crash
Status Success
Total duration 3m 26s
Artifacts –

format-check.yml

on: pull_request
format-check
5s
format-check
clippy-check
3m 16s
clippy-check
Fit to window
Zoom out
Zoom in