Skip to content
Kani Extra

Mitigate invalid transmute when checking memory initialization #1358

Sign in to view logs

Mitigate invalid transmute when checking memory initialization

Mitigate invalid transmute when checking memory initialization #1358

This job succeeded