Automata.Z3.Tests.Z3_STTests.ApplyHtmlDecode C# (CSharp) Method

        private static string ApplyHtmlDecode(int composecount, string instr)
        {
            string s = instr;
            for (int i = 0; i <= composecount; i++)
                s = System.Net.WebUtility.HtmlDecode(s);
            return s;
        }