Skip to content
Cryptol

improve exhaustiveness check by attempting each guard as the consequent #3142

Sign in to view logs

improve exhaustiveness check by attempting each guard as the consequent

improve exhaustiveness check by attempting each guard as the consequent #3142

test (test-lib, mono-binds, windows-2019, false)

test (test-lib, mono-binds, windows-2019, false)
succeeded Mar 1, 2025 in 1m 3s