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

build

build
succeeded Dec 13, 2024 in 15m 7s