• Invalid precondition in "Number Length" mission

Question related to mission Number Length

 

The precondition (or assertion) in this mission is invalid, because zero isn't a positive Int :smile:

Input: A positive Int

numberLength(0) == 1

4