Skip to content
Back to pull request #1683

[derive] More complex TryFromBytes enum output tests #4855

Sign in to view logs

[derive] More complex TryFromBytes enum output tests

[derive] More complex TryFromBytes enum output tests #4855

Run tests under Kani

Run tests under Kani
succeeded Sep 19, 2024 in 1m 53s