public void Test_getInfinity() { dfs.SetInfinity("&"); Junit.Framework.Assert.AssertTrue("Returned incorrect Infinity symbol", dfs.GetInfinity() == "&"); }