268 duplicated lines in: - ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs (1:623, 100%) - ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs (1:623, 100%) 265 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (1:839, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (1:839, 100%) 214 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Program.cs (1:449, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/Program.cs (1:449, 100%) 203 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (1:540, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (1:540, 100%) 192 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (1:530, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (1:530, 100%) 156 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (1:564, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (1:564, 100%) 147 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs (1:580, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs (1:580, 100%) 143 duplicated lines in: - ironclad-apps/tools/NuBuild/AzureManager/Program.cs (1:313, 100%) - ironclad-apps/tools/NuBuild2/AzureManager/Program.cs (1:313, 100%) 142 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DafnyTransformBaseVerb.cs (1:280, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransformBaseVerb.cs (1:280, 100%) 140 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs (1:245, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs (1:245, 100%) 140 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResult.cs (1:264, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResult.cs (1:264, 100%) 136 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmDepBase.cs (1:293, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmDepBase.cs (1:293, 100%) 130 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs (1:373, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs (1:373, 100%) 125 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerbRunner.cs (1:417, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VerbRunner.cs (1:417, 100%) 121 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Job.cs (1:273, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/Job.cs (1:273, 100%) 118 duplicated lines in: - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (1:367, 100%) - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (1:367, 100%) 117 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Presentater.cs (1:295, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/Presentater.cs (1:295, 100%) 109 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (34:209, 88%) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (34:209, 88%) 108 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/IroncladAppVerb.cs (1:195, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/IroncladAppVerb.cs (1:195, 100%) 106 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ProcessInvokeAsyncWorker.cs (1:293, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvokeAsyncWorker.cs (1:293, 100%) 95 duplicated lines in: - ironclad-apps/tools/NuBuild/CloudExecutionWorker/CloudExecutionEngine.cs (1:223, 100%) - ironclad-apps/tools/NuBuild2/CloudExecutionWorker/CloudExecutionEngine.cs (1:223, 100%) 93 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BeatExtensions.cs (1:181, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BeatExtensions.cs (1:181, 100%) 90 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Presentation.cs (1:152, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/Presentation.cs (1:152, 100%) 89 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerifyVerb.cs (1:189, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerifyVerb.cs (1:189, 100%) 87 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BackgroundWorker.cs (1:326, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BackgroundWorker.cs (1:326, 100%) 87 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/WaitIndex.cs (1:171, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/WaitIndex.cs (1:171, 100%) 85 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ProcessInvoker.cs (1:258, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvoker.cs (1:258, 100%) 85 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCompileOneVerb.cs (1:174, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCompileOneVerb.cs (1:174, 100%) 83 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (1:270, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (1:270, 100%) 80 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BuildObject.cs (1:344, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BuildObject.cs (1:344, 100%) 80 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Verb.cs (1:168, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/Verb.cs (1:168, 100%) 80 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (1:284, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (1:284, 100%) 79 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheLocal.cs (18:285, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheLocal.cs (18:285, 100%) 75 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/EntryStitcherVerb.cs (1:149, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/EntryStitcherVerb.cs (1:149, 100%) 74 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsVerb.cs (1:168, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsVerb.cs (1:168, 100%) 74 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BuildEngine.cs (1:165, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BuildEngine.cs (1:165, 100%) 71 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/LinkerVerb.cs (1:146, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/LinkerVerb.cs (1:146, 100%) 69 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BeatVerb.cs (1:131, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BeatVerb.cs (1:131, 100%) 67 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VSProjectParser.cs (1:160, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VSProjectParser.cs (1:160, 100%) 66 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BatchVerifyVerb.cs (1:132, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BatchVerifyVerb.cs (1:132, 100%) 66 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudSubmitter.cs (1:190, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudSubmitter.cs (1:190, 100%) 65 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Disposition.cs (1:153, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/Disposition.cs (1:153, 100%) 64 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Util.cs (1:157, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/Util.cs (1:157, 100%) 63 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/PathNormalizer.cs (1:160, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/PathNormalizer.cs (1:160, 100%) 61 duplicated lines in: - ironclad-apps/tools/NuBuild/CloudQueueTool/Program.cs (1:124, 100%) - ironclad-apps/tools/NuBuild2/CloudQueueTool/Program.cs (1:124, 100%) 60 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BeatIncludes.cs (1:138, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BeatIncludes.cs (1:138, 100%) 60 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/NMakeVerb.cs (1:110, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/NMakeVerb.cs (1:110, 100%) 60 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/WinLinkerVerb.cs (1:114, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/WinLinkerVerb.cs (1:114, 100%) 59 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/IronfleetAppVerb.cs (1:121, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/IronfleetAppVerb.cs (1:121, 100%) 59 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCCVerb.cs (1:118, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCCVerb.cs (1:118, 100%) 57 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/SourcePathIncludeContext.cs (1:116, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/SourcePathIncludeContext.cs (1:116, 100%) 57 duplicated lines in: - ironclad-apps/tools/NuBuild/AzureManager/AzureAccount.cs (1:186, 100%) - ironclad-apps/tools/NuBuild2/AzureManager/AzureAccount.cs (1:186, 100%) 54 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DafnyIncludes.cs (1:161, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyIncludes.cs (1:161, 100%) 52 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/AnnotationScanner.cs (1:115, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/AnnotationScanner.cs (1:115, 100%) 52 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuildExecutionService/NuBuildExecutionService.ccproj (1:64, 100%) - ironclad-apps/tools/NuBuild2/NuBuildExecutionService/NuBuildExecutionService.ccproj (1:64, 100%) 50 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyTreeVerb.cs (1:106, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyTreeVerb.cs (1:106, 100%) 47 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/PresentationBuilder.cs (1:109, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/PresentationBuilder.cs (1:109, 100%) 47 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffBaseVerb.cs (1:97, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffBaseVerb.cs (1:97, 100%) 46 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffExtractVerb.cs (1:94, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffExtractVerb.cs (1:94, 100%) 46 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/MasmVerb.cs (1:94, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/MasmVerb.cs (1:94, 100%) 43 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DafnySpecVerb.cs (1:97, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DafnySpecVerb.cs (1:97, 100%) 42 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/OrderPreservingSet.cs (1:111, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/OrderPreservingSet.cs (1:111, 100%) 42 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/AsmRewriterVerb.cs (1:83, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/AsmRewriterVerb.cs (1:83, 100%) 41 duplicated lines in: - ironclad-apps/tools/NuBuild/ItemCacheTool/CacheState.cs (1:103, 100%) - ironclad-apps/tools/NuBuild2/ItemCacheTool/CacheState.cs (1:103, 100%) 36 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffCombineVerb.cs (1:89, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffCombineVerb.cs (1:89, 100%) 35 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeBaseVerb.cs (1:81, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeBaseVerb.cs (1:81, 100%) 35 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/AbstractId.cs (1:82, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/AbstractId.cs (1:82, 100%) 35 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/IItemCache.cs (1:170, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/IItemCache.cs (1:170, 100%) 35 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultVerb.cs (1:68, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultVerb.cs (1:68, 100%) 34 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerificationObligationListVerb.cs (1:82, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerificationObligationListVerb.cs (1:82, 100%) 34 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmWorkerBase.cs (1:70, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmWorkerBase.cs (1:70, 100%) 34 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ContextGeneratingVerb.cs (1:82, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/ContextGeneratingVerb.cs (1:82, 100%) 32 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DafnyExecutableDependencies.cs (1:52, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyExecutableDependencies.cs (1:52, 100%) 31 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeConfigVerb.cs (1:62, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeConfigVerb.cs (1:62, 100%) 31 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/PoundDefines.cs (1:74, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/PoundDefines.cs (1:74, 100%) 31 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffInferVerb.cs (1:74, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffInferVerb.cs (1:74, 100%) 30 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyOneVerb.cs (78:126, 43%) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyOneVerb.cs (76:124, 43%) 30 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerbToposorter.cs (1:98, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VerbToposorter.cs (1:98, 100%) 30 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CachedHash.cs (1:60, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/CachedHash.cs (1:60, 100%) 29 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationObligationList.cs (1:68, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationObligationList.cs (1:68, 100%) 29 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/SourcePath.cs (1:120, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/SourcePath.cs (1:120, 100%) 29 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeVerb.cs (1:60, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeVerb.cs (1:60, 100%) 27 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CustomManifestParser.cs (1:70, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/CustomManifestParser.cs (1:70, 100%) 27 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs (34:73, 36%) - ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs (35:74, 36%) 27 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerbOutputsContext.cs (1:69, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VerbOutputsContext.cs (1:69, 100%) 26 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VSSolutionVerb.cs (74:123, 47%) - ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionVerb.cs (69:118, 50%) 25 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VSSolutionVerb.cs (1:64, 45%) - ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionVerb.cs (1:64, 48%) 25 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DependencyCache.cs (1:54, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DependencyCache.cs (1:54, 100%) 24 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BuildObjectValuePointer.cs (1:107, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BuildObjectValuePointer.cs (1:107, 100%) 24 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VSSolutionParser.cs (1:59, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionParser.cs (1:59, 100%) 24 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationRequest.cs (1:56, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationRequest.cs (1:56, 100%) 23 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs (75:118, 31%) - ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs (76:119, 31%) 23 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyOneVerb.cs (17:60, 33%) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyOneVerb.cs (17:60, 33%) 23 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ConcatContextVerb.cs (1:52, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/ConcatContextVerb.cs (1:52, 100%) 23 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationMessage.cs (1:49, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationMessage.cs (1:49, 100%) 21 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerbOutputsContextVerb.cs (1:51, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VerbOutputsContextVerb.cs (1:51, 100%) 21 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs (42:77, 48%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs (34:69, 48%) 19 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmLinkVerb.cs (1:52, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmLinkVerb.cs (1:54, 100%) 19 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/WorkingDirectory.cs (1:91, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/WorkingDirectory.cs (1:91, 100%) 18 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs (1:34, 41%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs (1:34, 41%) 17 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs (1:33, 43%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs (1:33, 43%) 17 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs (41:69, 43%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs (33:61, 43%) 17 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Hasher.cs (1:49, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/Hasher.cs (1:49, 100%) 17 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BasmObligationIncludes.cs (1:38, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BasmObligationIncludes.cs (1:38, 100%) 16 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ConcatContext.cs (1:40, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/ConcatContext.cs (1:40, 100%) 16 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/StaticContextVerb.cs (1:41, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/StaticContextVerb.cs (1:41, 100%) 16 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DbgVerbCounter.cs (1:39, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DbgVerbCounter.cs (1:39, 100%) 15 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DbgFileCopySpeedTest.cs (1:29, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DbgFileCopySpeedTest.cs (1:29, 100%) 15 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerbSyncWorker.cs (1:80, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VerbSyncWorker.cs (1:80, 100%) 15 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionWaiter.cs (1:62, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionWaiter.cs (1:62, 100%) 15 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BasmTransitiveDepsVerb.cs (1:37, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/BasmTransitiveDepsVerb.cs (1:37, 100%) 14 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DafnyExtensions.cs (1:33, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyExtensions.cs (1:33, 100%) 13 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Properties/AssemblyInfo.cs (1:36, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/Properties/AssemblyInfo.cs (1:36, 100%) 13 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs (41:62, 33%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs (34:55, 30%) 13 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs (123:153, 17%) - ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs (124:154, 17%) 13 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs (42:63, 30%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs (33:54, 33%) 13 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Logger.cs (1:52, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/Logger.cs (1:52, 100%) 13 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (1:31, 10%) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (1:31, 10%) 13 duplicated lines in: - ironclad-apps/tools/NuBuild/AzureManager/Properties/AssemblyInfo.cs (1:42, 100%) - ironclad-apps/tools/NuBuild2/AzureManager/Properties/AssemblyInfo.cs (1:42, 100%) 13 duplicated lines in: - ironclad-apps/tools/NuBuild/CloudExecutionWorker/Properties/AssemblyInfo.cs (1:42, 100%) - ironclad-apps/tools/NuBuild2/CloudExecutionWorker/Properties/AssemblyInfo.cs (1:42, 100%) 13 duplicated lines in: - ironclad-apps/tools/NuBuild/CloudQueueTool/Properties/AssemblyInfo.cs (1:42, 100%) - ironclad-apps/tools/NuBuild2/CloudQueueTool/Properties/AssemblyInfo.cs (1:42, 100%) 13 duplicated lines in: - ironclad-apps/tools/NuBuild/CloudExecutionEngine/Properties/AssemblyInfo.cs (1:42, 100%) - ironclad-apps/tools/NuBuild2/CloudExecutionEngine/Properties/AssemblyInfo.cs (1:42, 100%) 13 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/IVerb.cs (1:127, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/IVerb.cs (1:127, 100%) 13 duplicated lines in: - ironclad-apps/tools/NuBuild/ItemCacheTool/Properties/AssemblyInfo.cs (1:42, 100%) - ironclad-apps/tools/NuBuild2/ItemCacheTool/Properties/AssemblyInfo.cs (1:42, 100%) 12 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffEngine.cs (1:24, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffEngine.cs (1:24, 100%) 12 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DependencyDisposition.cs (1:32, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DependencyDisposition.cs (1:32, 100%) 12 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/IVerbWorker.cs (1:92, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/IVerbWorker.cs (1:92, 100%) 11 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (473:493, 5%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (436:456, 5%) 11 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (233:252, 13%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (436:456, 5%) 11 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (233:252, 13%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (473:493, 5%) 11 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (436:456, 5%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (473:493, 5%) 11 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (473:493, 5%) - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (233:252, 13%) 11 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (436:456, 5%) - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (233:252, 13%) 11 duplicated lines in: - ironclad-apps/tools/NuBuild/CloudExecutionWorker/WorkerRole.cs (24:67, 100%) - ironclad-apps/tools/NuBuild2/CloudExecutionWorker/WorkerRole.cs (24:67, 100%) 10 duplicated lines in: - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (299:317, 8%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (473:490, 5%) 10 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (473:490, 5%) - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (299:317, 8%) 10 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs (20:34, 23%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs (19:33, 25%) 10 duplicated lines in: - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (299:317, 8%) - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (233:250, 12%) 10 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (436:453, 4%) - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (299:317, 8%) 10 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs (19:33, 25%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs (20:34, 23%) 10 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsContents.cs (1:32, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsContents.cs (1:32, 100%) 10 duplicated lines in: - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (299:317, 8%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (436:453, 4%) 10 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (233:250, 12%) - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (299:317, 8%) 9 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DafnyTransitiveDepsVerb.cs (1:26, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransitiveDepsVerb.cs (1:26, 100%) 9 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultVerb.cs (36:51, 25%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs (212:227, 6%) 9 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs (212:227, 6%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultVerb.cs (36:51, 25%) 9 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DbgHashSpeedTest.cs (1:18, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/DbgHashSpeedTest.cs (1:18, 100%) 8 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ContextContents.cs (1:23, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/ContextContents.cs (1:23, 100%) 8 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/IncludePathContext.cs (1:23, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/IncludePathContext.cs (1:23, 100%) 8 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs (1:28, 10%) - ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs (1:28, 10%) 7 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (135:141, 3%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (172:178, 3%) 7 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (172:178, 3%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (135:141, 3%) 7 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs (120:132, 5%) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (47:59, 8%) 7 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs (59:69, 17%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs (59:69, 16%) 7 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/IronfleetAppVerb.cs (84:97, 11%) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCompileOneVerb.cs (64:77, 8%) 7 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCompileOneVerb.cs (64:77, 8%) - ironclad-apps/tools/NuBuild2/NuBuild/IronfleetAppVerb.cs (84:97, 11%) 7 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (160:166, 5%) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyExecutableDependencies.cs (38:44, 21%) 7 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs (67:77, 16%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs (51:61, 17%) 7 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/DafnyExecutableDependencies.cs (38:44, 21%) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (160:166, 5%) 7 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (47:59, 8%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs (120:132, 5%) 7 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/IVerificationResultParser.cs (1:17, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/IVerificationResultParser.cs (1:17, 100%) 6 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (144:149, 2%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (421:426, 2%) 6 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (99:109, 3%) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (122:132, 3%) 6 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/IronRootDirectory.cs (1:35, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/IronRootDirectory.cs (1:35, 100%) 6 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (122:132, 3%) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (99:109, 3%) 6 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/IProcessInvoker.cs (1:35, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/IProcessInvoker.cs (1:35, 100%) 6 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/IContextGeneratingVerb.cs (1:18, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/IContextGeneratingVerb.cs (1:18, 100%) 6 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/ObjectMissingFromCacheException.cs (1:18, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/ObjectMissingFromCacheException.cs (1:18, 100%) 6 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsVerb.cs (148:159, 8%) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs (51:62, 4%) 6 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffBaseVerb.cs (50:58, 12%) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeBaseVerb.cs (53:61, 17%) 6 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (421:426, 2%) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (144:149, 2%) 6 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VirtualBuildObject.cs (1:28, 100%) - ironclad-apps/tools/NuBuild2/NuBuild/VirtualBuildObject.cs (1:28, 100%) 6 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeBaseVerb.cs (53:61, 17%) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffBaseVerb.cs (50:58, 12%) 6 duplicated lines in: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs (51:62, 4%) - ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsVerb.cs (148:159, 8%)