internal string TestRegex_GenerateInput(SymbolicRegexBuilder <BV> builder, int nrOfMatches, int randomTextSizeLimit, SymbolicRegexNode <BV> sr) { if (nrOfMatches < 1) { throw new ArgumentOutOfRangeException(); } string str = sr.GenerateRandomMember(); for (int i = 1; i < nrOfMatches; i++) { if (randomTextSizeLimit > 0) { int k = rnd.Next(0, randomTextSizeLimit); string tmp = sr.GenerateRandomMember(); int j = rnd.Next(1, tmp.Length); str += tmp.Substring(0, j) + CreateRandomString(k) + tmp.Substring(j); } str += sr.GenerateRandomMember(); } return(str); }