Skip to content
Kani CI

Implement address-of-ZST as nondet integer #295

Sign in to view logs

Implement address-of-ZST as nondet integer

Implement address-of-ZST as nondet integer #295

Annotations

2 errors

regression (ubuntu-20.04)

regression (ubuntu-20.04)
failed Apr 25, 2024 in 6h 0m 14s