C# (CSharp) ModuleTracker.IsEquivalnet示例

        private static void ModelCheck(ModuleTracker t, string root, params string[] additionalRoots)
        {
#if TEST // Dirty hack
            ModuleTracker model = new ModuleTracker(root);
            foreach (string r in additionalRoots)
                model.AddRootModule(r);
            model.ExtractReachableAndMakeIncremental();
            Assert.True(t.IsEquivalnet(model));
#endif
        }

示例#2

显示文件

文件： ModuleTrackerTests.cs 项目： wuchuguang/VisualRust

        private static void ModelCheck(ModuleTracker t, string root, params string[] additionalRoots)
        {
#if TEST // Dirty hack
            ModuleTracker model = new ModuleTracker(root);
            foreach (string r in additionalRoots)
            {
                model.AddRootModule(r);
            }
            model.ExtractReachableAndMakeIncremental();
            Assert.True(t.IsEquivalnet(model));
#endif
        }