Skip to content
Cryptol

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

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

test (test-lib, constraint-guards, ubuntu-22.04, false)

test (test-lib, constraint-guards, ubuntu-22.04, false)
succeeded Mar 3, 2025 in 16s