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, modsys, macos-14, false)

test (test-lib, modsys, macos-14, false)
succeeded Mar 1, 2025 in 30s