public static void RunFinAlphTest()
{
var nfaPath = Program.path + @"NFA\";
DirectoryInfo detDir = new DirectoryInfo(nfaPath);
if (startAt == 0)
{
NFAUtil.PrintHeader(Program.verifNFAOutputFile);
}
int count = 0;
foreach (var file in detDir.GetFiles("*", SearchOption.AllDirectories))
{
if (startAt <= count && count <= endAt)
{
var res = TimbukNFAParser.ParseVataFileFinSet(file.FullName);
NFAUtil.RunAllAlgorithms(res.Item1, file.Name, Program.verifNFAOutputFile, res.Item2);
}
count++;
}
}
public static void RunTest()
{
CharSetSolver solver = new CharSetSolver(BitWidth.BV7); //new solver using ASCII encoding
var nfaPath = Program.path + @"NFA\";
DirectoryInfo detDir = new DirectoryInfo(nfaPath);
if (startAt == 0)
{
NFAUtil.PrintHeader(Program.verifNFAOutputFile);
}
int count = 0;
foreach (var file in detDir.GetFiles("*", SearchOption.AllDirectories))
{
if (startAt <= count && count <= endAt)
{
Automaton <BDD> detAut = TimbukNFAParser.ParseVataFile(file.FullName, solver);
NFAUtil.RunAllAlgorithms(detAut, file.Name, Program.verifNFAOutputFile, solver);
}
count++;
}
}
