Skip to content
Kani CI

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

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

regression (ubuntu-20.04)

regression (ubuntu-20.04)
succeeded Nov 15, 2024 in 28m 52s