Skip to content
Build and Test Dafny Standard Libraries

fix: Frame and termination checks are now subject to by-proofs of method calls #3199

Sign in to view logs

fix: Frame and termination checks are now subject to by-proofs of method calls

fix: Frame and termination checks are now subject to by-proofs of method calls #3199

build

build
succeeded Aug 29, 2024 in 22m 22s