Skip to content

Supports nested quantifiers in function contracts#5968

Merged
SaswatPadhi merged 1 commit intodiffblue:developfrom
ArenBabikian:contracts-quantifiers-nested
Apr 9, 2021

Commits

Commits on Apr 9, 2021