Skip to content
Back to pull request #2034

[unsafe-fields] adding enum rule into unsafe-fields macro #5837

Sign in to view logs

[unsafe-fields] adding enum rule into unsafe-fields macro

[unsafe-fields] adding enum rule into unsafe-fields macro #5837

Run tests under Kani

Run tests under Kani
succeeded Nov 8, 2024 in 1m 55s