public void CfIndentWithSpaces()
{
formatter.UseTabs = false;
formatter.TabSize = 4;
formatter.Indentation = 6;
Instruction b = new Branch(Constant.Word32(0), new Block(null, "Test"));
b.Accept(cf);
Assert.AreEqual(" branch 0x00000000 Test" + nl, sw.ToString());
}
public void CfIndentation()
{
formatter.UseTabs = true;
formatter.TabSize = 4;
formatter.Indentation = 6;
var b = new Branch(Constant.Word32(0), new Block(null, "target"));
b.Accept(cf);
Assert.AreEqual("\t branch 0x00000000 target" + nl, sw.ToString());
}
public void AcceptTest()
{
Branch target = new Branch();
IVisitor visitor = null; // TODO: Initialize to an appropriate value
target.Accept(visitor);
Assert.Inconclusive("A method that does not return a value cannot be verified.");
}
public void CfIndentWithSpaces()
{
formatter.UseTabs = false;
formatter.TabSize = 4;
formatter.Indentation = 6;
Instruction b = new Branch(Constant.Word32(0), new Block(null, "Test"));
b.Accept(cf);
Assert.AreEqual(" branch 0x00000000 Test" + nl, sw.ToString());
}
public void CfIndentation()
{
formatter.UseTabs = true;
formatter.TabSize = 4;
formatter.Indentation = 6;
var b = new Branch(Constant.Word32(0), new Block(null, "target"));
b.Accept(cf);
Assert.AreEqual("\t branch 0x00000000 target" + nl, sw.ToString());
}
