public void TestSampleRegexes()
{
var rex = new Microsoft.Automata.Rex.RexEngine(BitWidth.BV16);
string[] regexes = File.ReadAllLines(regexesFile);
List <int> exclude = new List <int>();
exclude.Add(299);
int k = (regexes.Length < 400 ? regexes.Length : 400);
int rxCount = 10; //number of strings to be generated for each regex
for (int i = 1; i < k; i++)
{
foreach (string s in rex.GenerateMembers(RegexOptions.None, rxCount, regexes[i]))
{
if (!exclude.Contains(i))
{
if (!Microsoft.Automata.Rex.RexEngine.IsMatch(s, regexes[i], RegexOptions.None))
{
Assert.IsTrue(false, "regex on line " + i + " in Samples/regexes.txt");
}
}
}
}
}
public void TestSampleRegexes()
{
var rex = new Microsoft.Automata.Rex.RexEngine(BitWidth.BV16);
string[] regexes = File.ReadAllLines(regexesFile);
List<int> exclude = new List<int>();
int rxCount = 200; //number of strings to be generated for each regex
for (int i = 1; i < regexes.Length; i++)
foreach (string s in rex.GenerateMembers(RegexOptions.None, rxCount, regexes[i]))
if (!exclude.Contains(i))
if (!Rex.RexEngine.IsMatch(s, regexes[i], RegexOptions.None))
Assert.IsTrue(false, "regex on line " + i + " in Samples/regexes.txt");
}