public bool ProveA()
{
var tests = new string[] {
"Examples//10-1.txt",
"Examples//10-2.txt",
"Examples//10-3.txt",
"Examples//10-4.txt",
"Examples//10-5.txt"
};
if (!StarMap.Test())
{
return(false);
}
foreach (var test in tests)
{
if (!ProveFor(test))
{
return(false);
}
}
return(true);
}