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");
}
