Skip to content
Kani CI

Test that boxed fn parameters are implemented. #7389

Sign in to view logs

Test that boxed fn parameters are implemented.

Test that boxed fn parameters are implemented. #7389

This job succeeded