internal void CheckAddIncludeFiles([PexAssumeNotNull] string[] incnames) { var cc = new CombinedGeneratedCode(); foreach (var item in incnames) { var gc = new GeneratedCode(); gc.AddIncludeFile(item); cc.AddGeneratedCode(gc); } HashSet<string> unique = new HashSet<string>(incnames); Assert.AreEqual(unique.Count, cc.IncludeFiles.Count(), "wrong # of unqiue names"); }