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, docstrings, windows-2019, false)

test (test-lib, docstrings, windows-2019, false)
succeeded Feb 28, 2025 in 1m 6s