Exercise: solve the program invariant

Exercise

 

Solution

 

  • breakingInvariantSolved.cpp