Skip to content
Build and Test Dafny Standard Libraries

fix: Account for the optional equality support of map/seq inside newtypes #4060

Sign in to view logs

fix: Account for the optional equality support of map/seq inside newtypes

fix: Account for the optional equality support of map/seq inside newtypes #4060

check-deep-tests  /  check-deep-tests

check-deep-tests / check-deep-tests
succeeded Dec 13, 2024 in 4s