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

2 errors

regression (ubuntu-22.04)

regression (ubuntu-22.04)
cancelled Jan 22, 2025 in 20m 33s