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); }