Add challenge 3 from the verifyThis 2019 challenge#1167

Merged

pieter-bos merged 2 commits intoutwente-fmt:devfrom sakehl:verifythis2019challenge3

Apr 30, 2024

+595

Commits on Mar 5, 2024

Add challenge with test that uses no-infer-backend
sakehl
committed

Commits on Mar 6, 2024

Use flag option that was present
sakehl
committed