Skip to content
Cryptol

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

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 #3140

test (test-lib, suiteb, macos-14, false)

test (test-lib, suiteb, macos-14, false)
succeeded Feb 28, 2025 in 5m 9s