public void TestCA_IsMatch_PosAndNeg()
{
var regex = new System.Text.RegularExpressions.Regex("^ab{4,10}c$");
var sr = (SymbolicRegex <ulong>)regex.Compile(false, false);
var pos_samples = regex.GenerateRandomDataSet(10);
var neg_samples = regex.Complement().GenerateRandomDataSet(10);
var ca = sr.Pattern.CreateCountingAutomaton();
foreach (var str in pos_samples)
{
Assert.IsTrue(ca.IsMatch(str));
Assert.IsTrue(regex.IsMatch(str));
}
foreach (var str in neg_samples)
{
Assert.IsFalse(ca.IsMatch(str));
Assert.IsFalse(regex.IsMatch(str));
}
}