public void DfaIsCreatedWithNoError() { Dfa dfa = _automata.Construct().ConstructDfaUsingPowerSet(); Assert.IsNotNull(dfa); string dotfile = dfa.WriteGraph(); Assert.AreEqual(_dfaDotFile, dotfile); }