public void GenerateHeadersTest()
{
string expression = "&(&(&(&(&(&(&(&(&(&(&(a,b),c),d),e),f),g),h),i),j),k),l)";
AbstractionSyntaxTree ast = new AbstractionSyntaxTree(expression);
TruthTable tb = new TruthTable(ast);
string[] headers = { "a", "b", "c", "d", "e", "f",
"g", "h", "i", "j", "k", "l", ast.ToString() };
string[] res = tb.GenerateHeaders();
for (int i = 0; i < headers.Length; i++)
{
Assert.AreEqual(headers[i], res[i]);
}
// Assert.AreEqual(headers, res);
}
