Support pointer arithmetic in quantifier predicates#4583
Open
feliperodri wants to merge 1 commit intomodel-checking:mainfrom
Open
Support pointer arithmetic in quantifier predicates#4583feliperodri wants to merge 1 commit intomodel-checking:mainfrom
feliperodri wants to merge 1 commit intomodel-checking:mainfrom
