Searched refs:knownDifferencesRegistry (Results 1 – 1 of 1) sorted by relevance
86 KnownDifferencesRegistry knownDifferencesRegistry = new KnownDifferencesRegistry(); in main() local90 knownDifferencesRegistry.addKnownDifferences(new File(knownDifferencesFileName)); in main()138 knownDifferencesRegistry.recordResult( in main()142 knownDifferencesRegistry.outputKnownDifferencesProtos(outputDir); in main()145 knownDifferencesRegistry.printStatsReport(); in main()