Skip to content
Build and Test

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

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

Annotations

6 warnings

xunit-tests  /  osx (1)

xunit-tests / osx (1)
succeeded Aug 30, 2024 in 16m 46s