Skip to content
Rust Tests

Implement kani::Arbitrary for Wrapping, Saturating, and Simd types #1605

Sign in to view logs

Implement kani::Arbitrary for Wrapping, Saturating, and Simd types

Implement kani::Arbitrary for Wrapping, Saturating, and Simd types #1605

Triggered via pull request April 18, 2025 15:27
@carolynzechcarolynzech
synchronize #328
carolynzech:wrapping-saturating-derive
Status Success
Total duration 6m 35s
Artifacts –

rustc.yml

on: pull_request
Matrix: upstream_test
Fit to window
Zoom out
Zoom in