Yes, test cases were generated based on variable type and value within different loops and such. Its difficult to do because the current value of a variable you wish to use as a test case may only be able to obtain said value if other variables have certain values, or certain controll statements have been triggered.
For the most part it was an interesting project. I can tell you that there were times when we werent sure if we could pull it off!
By the way, how is it coming for you? Did the utility you made work out?
This website takes effort, time and money to maintain. If you choose not to become a Prime member, but still would like to support my efforts, please feel free to donate what you find appropriate.