The leftPad(string,int) function simply pads a string up to a given size by inserted spaces at the beginning. For example, leftPad(“hello”,8) produces ” hello”. This little function shot to fame in 2016 when a developer pulled all his modules from NPM, of which one provided the leftPad() functionality. There were two basic issues causing . . . → Read More: Verifying leftPad() in Whiley