public void FSM2Dot1() { FSM fa = FSM.FromTerm(CompoundTerm.Parse(FSMTRIANGLE)); GraphParams gp = new GraphParams("Test1", fa); StringBuilder sb = DotWriter.ToDot(gp); string s = sb.ToString(); Regex r = new Regex("\\[ label = \"AssignColor\" \\];", RegexOptions.Multiline); int count = 0; count = r.Matches(s).Count; Assert.AreEqual(42, count); }