Skip to content
Kani CI

Fix the computation of the number of bytes of a pointer offset #902

Sign in to view logs

Fix the computation of the number of bytes of a pointer offset

Fix the computation of the number of bytes of a pointer offset #902

Annotations

1 error

write-json-symtab-regression

write-json-symtab-regression
failed Oct 9, 2024 in 16m 32s