Skip to content

Bump Kani version to 0.42.0 #197

Bump Kani version to 0.42.0

Bump Kani version to 0.42.0 #197

The logs for this run have expired and are no longer available.