[WIP] Make pointer casts work in const fn
#5669
Annotations
1 error
|
Run model-checking/kani-github-action@f838096619a707b0f6b2118cf435eaccfa33e51f
Process completed with exit code 1.
|
Loading