Propose a new challenge about pointer arithmetic ops#23

Merged

celinval merged 5 commits intomodel-checking:mainfrom

celinval:challenge-0003-ptr-arith

Jul 3, 2024

Commits on Jun 24, 2024

Add a new challenge about pointer arithmetic ops
celinval
committed

Commits on Jun 25, 2024

Commits on Jul 3, 2024