Skip to content
Kani CI

Fix syntax and expected output #470

Sign in to view logs

Fix syntax and expected output

Fix syntax and expected output #470

Annotations

1 error

regression (ubuntu-24.04)

regression (ubuntu-24.04)
failed Jan 22, 2025 in 20m 13s