duplicated block id: 1 size: 139 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Program.cs (90:234) - ironclad-apps/tools/NuBuild2/NuBuild/Program.cs (90:234) duplicated block id: 2 size: 121 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs (408:580) - ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs (408:580) duplicated block id: 3 size: 103 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs (28:155) - ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs (28:155) duplicated block id: 4 size: 96 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Program.cs (324:451) - ironclad-apps/tools/NuBuild2/NuBuild/Program.cs (324:451) duplicated block id: 5 size: 85 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs (96:196) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs (96:196) duplicated block id: 6 size: 81 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ProcessInvoker.cs (71:173) - ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvoker.cs (71:173) duplicated block id: 7 size: 80 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/Program.cs (56:169) - ironclad-apps/tools/NuBuild2/AzureManager/Program.cs (56:169) duplicated block id: 8 size: 80 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (457:564) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (457:564) duplicated block id: 9 size: 77 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (337:428) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (337:428) duplicated block id: 10 size: 75 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (377:465) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (377:465) duplicated block id: 11 size: 69 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Presentation.cs (60:129) - ironclad-apps/tools/NuBuild2/NuBuild/Presentation.cs (60:129) duplicated block id: 12 size: 66 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/CloudQueueTool/Program.cs (25:107) - ironclad-apps/tools/NuBuild2/CloudQueueTool/Program.cs (25:107) duplicated block id: 13 size: 63 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/IroncladAppVerb.cs (39:114) - ironclad-apps/tools/NuBuild2/NuBuild/IroncladAppVerb.cs (39:114) duplicated block id: 14 size: 61 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudSubmitter.cs (72:155) - ironclad-apps/tools/NuBuild2/NuBuild/CloudSubmitter.cs (72:155) duplicated block id: 15 size: 59 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (717:792) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (717:792) duplicated block id: 16 size: 56 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs (300:376) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs (300:376) duplicated block id: 17 size: 51 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerbRunner.cs (127:199) - ironclad-apps/tools/NuBuild2/NuBuild/VerbRunner.cs (127:199) duplicated block id: 18 size: 50 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/CloudExecutionWorker/CloudExecutionEngine.cs (150:224) - ironclad-apps/tools/NuBuild2/CloudExecutionWorker/CloudExecutionEngine.cs (150:224) duplicated block id: 19 size: 50 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmDepBase.cs (123:202) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmDepBase.cs (123:202) duplicated block id: 20 size: 50 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/PathNormalizer.cs (44:116) - ironclad-apps/tools/NuBuild2/NuBuild/PathNormalizer.cs (44:116) duplicated block id: 21 size: 47 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResult.cs (135:185) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResult.cs (135:185) duplicated block id: 22 size: 46 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/WinLinkerVerb.cs (22:76) - ironclad-apps/tools/NuBuild2/NuBuild/WinLinkerVerb.cs (22:76) duplicated block id: 23 size: 44 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/CloudExecutionWorker/CloudExecutionEngine.cs (68:135) - ironclad-apps/tools/NuBuild2/CloudExecutionWorker/CloudExecutionEngine.cs (68:135) duplicated block id: 24 size: 42 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ProcessInvokeAsyncWorker.cs (123:171) - ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvokeAsyncWorker.cs (123:171) duplicated block id: 25 size: 42 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/WaitIndex.cs (32:76) - ironclad-apps/tools/NuBuild2/NuBuild/WaitIndex.cs (32:76) duplicated block id: 26 size: 41 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (243:291) - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (243:291) duplicated block id: 27 size: 40 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyIncludes.cs (116:165) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyIncludes.cs (116:165) duplicated block id: 28 size: 38 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCompileOneVerb.cs (130:178) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCompileOneVerb.cs (130:178) duplicated block id: 29 size: 38 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (305:369) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (305:369) duplicated block id: 30 size: 35 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (427:469) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (427:469) duplicated block id: 31 size: 35 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SourcePathIncludeContext.cs (52:91) - ironclad-apps/tools/NuBuild2/NuBuild/SourcePathIncludeContext.cs (52:91) duplicated block id: 32 size: 34 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs (589:625) - ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs (589:625) duplicated block id: 33 size: 33 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CustomManifestParser.cs (34:74) - ironclad-apps/tools/NuBuild2/NuBuild/CustomManifestParser.cs (34:74) duplicated block id: 34 size: 32 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VSProjectParser.cs (106:149) - ironclad-apps/tools/NuBuild2/NuBuild/VSProjectParser.cs (106:149) duplicated block id: 35 size: 31 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyTransformBaseVerb.cs (231:268) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransformBaseVerb.cs (231:268) duplicated block id: 36 size: 31 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (183:215) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (183:215) duplicated block id: 37 size: 30 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/Program.cs (243:279) - ironclad-apps/tools/NuBuild2/AzureManager/Program.cs (243:279) duplicated block id: 38 size: 30 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs (251:282) - ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs (251:282) duplicated block id: 39 size: 30 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BatchVerifyVerb.cs (26:60) - ironclad-apps/tools/NuBuild2/NuBuild/BatchVerifyVerb.cs (26:60) duplicated block id: 40 size: 30 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (177:210) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (177:210) duplicated block id: 41 size: 30 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs (147:184) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs (147:184) duplicated block id: 42 size: 30 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (507:541) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (507:541) duplicated block id: 43 size: 30 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (180:232) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (180:232) duplicated block id: 44 size: 30 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VSProjectParser.cs (51:85) - ironclad-apps/tools/NuBuild2/NuBuild/VSProjectParser.cs (51:85) duplicated block id: 45 size: 30 cleaned lines of code in 2 files: - ironfleet/src/IronLockServer/Params.cs (66:99) - ironfleet/src/TestIoFramework/Params.cs (66:99) duplicated block id: 46 size: 29 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyTransformBaseVerb.cs (99:136) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransformBaseVerb.cs (99:136) duplicated block id: 47 size: 29 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (192:225) - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (192:225) duplicated block id: 48 size: 29 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (577:616) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (577:616) duplicated block id: 49 size: 29 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Util.cs (47:79) - ironclad-apps/tools/NuBuild2/NuBuild/Util.cs (47:79) duplicated block id: 50 size: 28 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BackgroundWorker.cs (216:267) - ironclad-apps/tools/NuBuild2/NuBuild/BackgroundWorker.cs (216:267) duplicated block id: 51 size: 28 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatIncludes.cs (37:73) - ironclad-apps/tools/NuBuild2/NuBuild/BeatIncludes.cs (37:73) duplicated block id: 52 size: 28 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (453:500) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (453:500) duplicated block id: 53 size: 28 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/IronfleetAppVerb.cs (37:68) - ironclad-apps/tools/NuBuild2/NuBuild/IronfleetAppVerb.cs (37:68) duplicated block id: 54 size: 28 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Job.cs (39:85) - ironclad-apps/tools/NuBuild2/NuBuild/Job.cs (39:85) duplicated block id: 55 size: 28 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ProcessInvokeAsyncWorker.cs (200:229) - ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvokeAsyncWorker.cs (200:229) duplicated block id: 56 size: 28 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/WaitIndex.cs (99:131) - ironclad-apps/tools/NuBuild2/NuBuild/WaitIndex.cs (99:131) duplicated block id: 57 size: 27 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs (185:216) - ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs (185:216) duplicated block id: 58 size: 27 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatVerb.cs (71:103) - ironclad-apps/tools/NuBuild2/NuBuild/BeatVerb.cs (71:103) duplicated block id: 59 size: 27 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmWorkerBase.cs (23:54) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmWorkerBase.cs (23:54) duplicated block id: 60 size: 27 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyIncludes.cs (54:85) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyIncludes.cs (54:85) duplicated block id: 61 size: 26 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (91:119) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (91:119) duplicated block id: 62 size: 26 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyExecutableDependencies.cs (25:53) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyExecutableDependencies.cs (25:53) duplicated block id: 63 size: 26 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/EntryStitcherVerb.cs (84:121) - ironclad-apps/tools/NuBuild2/NuBuild/EntryStitcherVerb.cs (84:121) duplicated block id: 64 size: 25 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/Program.cs (176:201) - ironclad-apps/tools/NuBuild2/AzureManager/Program.cs (176:201) duplicated block id: 65 size: 25 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs (376:401) - ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs (376:401) duplicated block id: 66 size: 25 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmDepBase.cs (243:274) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmDepBase.cs (243:274) duplicated block id: 67 size: 25 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ProcessInvokeAsyncWorker.cs (243:274) - ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvokeAsyncWorker.cs (243:274) duplicated block id: 68 size: 25 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Util.cs (109:140) - ironclad-apps/tools/NuBuild2/NuBuild/Util.cs (109:140) duplicated block id: 69 size: 25 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerbRunner.cs (228:262) - ironclad-apps/tools/NuBuild2/NuBuild/VerbRunner.cs (228:262) duplicated block id: 70 size: 25 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerbToposorter.cs (68:99) - ironclad-apps/tools/NuBuild2/NuBuild/VerbToposorter.cs (68:99) duplicated block id: 71 size: 25 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs (198:225) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs (198:225) duplicated block id: 72 size: 25 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultVerb.cs (21:49) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultVerb.cs (21:49) duplicated block id: 73 size: 24 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs (291:316) - ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs (291:316) duplicated block id: 74 size: 24 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerifyVerb.cs (114:143) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerifyVerb.cs (114:143) duplicated block id: 75 size: 24 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (34:60) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (34:60) duplicated block id: 76 size: 24 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/NMakeVerb.cs (67:93) - ironclad-apps/tools/NuBuild2/NuBuild/NMakeVerb.cs (67:93) duplicated block id: 77 size: 24 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/PathNormalizer.cs (134:161) - ironclad-apps/tools/NuBuild2/NuBuild/PathNormalizer.cs (134:161) duplicated block id: 78 size: 24 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsVerb.cs (131:160) - ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsVerb.cs (131:160) duplicated block id: 79 size: 24 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Verb.cs (140:169) - ironclad-apps/tools/NuBuild2/NuBuild/Verb.cs (140:169) duplicated block id: 80 size: 23 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs (345:368) - ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs (345:368) duplicated block id: 81 size: 23 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/AnnotationScanner.cs (30:55) - ironclad-apps/tools/NuBuild2/NuBuild/AnnotationScanner.cs (30:55) duplicated block id: 82 size: 23 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs (323:359) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs (323:359) duplicated block id: 83 size: 23 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResult.cs (233:260) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResult.cs (233:260) duplicated block id: 84 size: 22 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/Program.cs (207:234) - ironclad-apps/tools/NuBuild2/AzureManager/Program.cs (207:234) duplicated block id: 85 size: 22 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (151:175) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (151:175) duplicated block id: 86 size: 22 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BuildObject.cs (286:313) - ironclad-apps/tools/NuBuild2/NuBuild/BuildObject.cs (286:313) duplicated block id: 87 size: 22 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs (213:245) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs (213:245) duplicated block id: 88 size: 22 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DbgFileCopySpeedTest.cs (8:33) - ironclad-apps/tools/NuBuild2/NuBuild/DbgFileCopySpeedTest.cs (8:33) duplicated block id: 89 size: 22 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (41:77) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (41:77) duplicated block id: 90 size: 21 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatExtensions.cs (109:134) - ironclad-apps/tools/NuBuild2/NuBuild/BeatExtensions.cs (109:134) duplicated block id: 91 size: 21 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs (107:138) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs (107:138) duplicated block id: 92 size: 21 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (490:531) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (490:531) duplicated block id: 93 size: 21 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Program.cs (236:264) - ironclad-apps/tools/NuBuild2/NuBuild/Program.cs (236:264) duplicated block id: 94 size: 21 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (279:307) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (279:307) duplicated block id: 95 size: 21 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VSSolutionVerb.cs (87:114) - ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionVerb.cs (82:109) duplicated block id: 96 size: 21 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs (40:63) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs (40:63) duplicated block id: 97 size: 20 cleaned lines of code in 3 files: - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (48:72) - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (48:72) - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (48:72) duplicated block id: 98 size: 20 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatExtensions.cs (143:164) - ironclad-apps/tools/NuBuild2/NuBuild/BeatExtensions.cs (143:164) duplicated block id: 99 size: 20 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CachedHash.cs (40:61) - ironclad-apps/tools/NuBuild2/NuBuild/CachedHash.cs (40:61) duplicated block id: 100 size: 20 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (206:226) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (206:226) duplicated block id: 101 size: 20 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/EntryStitcherVerb.cs (46:72) - ironclad-apps/tools/NuBuild2/NuBuild/EntryStitcherVerb.cs (46:72) duplicated block id: 102 size: 20 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs (125:156) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs (125:156) duplicated block id: 103 size: 20 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Presentation.cs (131:153) - ironclad-apps/tools/NuBuild2/NuBuild/Presentation.cs (131:153) duplicated block id: 104 size: 20 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (265:287) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (265:287) duplicated block id: 105 size: 20 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (391:419) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (391:419) duplicated block id: 106 size: 20 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VSSolutionParser.cs (36:61) - ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionParser.cs (36:61) duplicated block id: 107 size: 20 cleaned lines of code in 4 files: - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (58:78) - ironfleet/src/IronLockServer/Params.cs (44:64) - ironfleet/src/IronSHTServer/Params.cs (48:68) - ironfleet/src/TestIoFramework/Params.cs (44:64) duplicated block id: 108 size: 19 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (146:165) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (146:165) duplicated block id: 109 size: 19 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCompileOneVerb.cs (45:70) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCompileOneVerb.cs (45:70) duplicated block id: 110 size: 19 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (147:168) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (147:168) duplicated block id: 111 size: 19 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsVerb.cs (86:107) - ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsVerb.cs (86:107) duplicated block id: 112 size: 18 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs (45:69) - ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs (46:70) duplicated block id: 113 size: 18 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (134:153) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (134:153) duplicated block id: 114 size: 18 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (170:188) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (170:188) duplicated block id: 115 size: 18 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCompileOneVerb.cs (82:104) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCompileOneVerb.cs (82:104) duplicated block id: 116 size: 18 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffBaseVerb.cs (40:65) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffBaseVerb.cs (40:65) duplicated block id: 117 size: 18 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerbOutputsContext.cs (45:70) - ironclad-apps/tools/NuBuild2/NuBuild/VerbOutputsContext.cs (45:70) duplicated block id: 118 size: 18 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResult.cs (44:66) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResult.cs (44:66) duplicated block id: 119 size: 18 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResult.cs (211:231) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResult.cs (211:231) duplicated block id: 120 size: 18 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/WaitIndex.cs (138:156) - ironclad-apps/tools/NuBuild2/NuBuild/WaitIndex.cs (138:156) duplicated block id: 121 size: 17 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs (223:243) - ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs (223:243) duplicated block id: 122 size: 17 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/AnnotationScanner.cs (81:100) - ironclad-apps/tools/NuBuild2/NuBuild/AnnotationScanner.cs (81:100) duplicated block id: 123 size: 17 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/AsmRewriterVerb.cs (60:79) - ironclad-apps/tools/NuBuild2/NuBuild/AsmRewriterVerb.cs (60:79) duplicated block id: 124 size: 17 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerifyVerb.cs (93:112) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerifyVerb.cs (93:112) duplicated block id: 125 size: 17 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BuildEngine.cs (70:89) - ironclad-apps/tools/NuBuild2/NuBuild/BuildEngine.cs (70:89) duplicated block id: 126 size: 17 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DependencyCache.cs (23:43) - ironclad-apps/tools/NuBuild2/NuBuild/DependencyCache.cs (23:43) duplicated block id: 127 size: 17 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/IroncladAppVerb.cs (134:155) - ironclad-apps/tools/NuBuild2/NuBuild/IroncladAppVerb.cs (134:155) duplicated block id: 128 size: 17 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheLocal.cs (112:129) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheLocal.cs (112:129) duplicated block id: 129 size: 17 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Program.cs (303:322) - ironclad-apps/tools/NuBuild2/NuBuild/Program.cs (303:322) duplicated block id: 130 size: 17 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (250:271) - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (250:271) duplicated block id: 131 size: 17 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (798:840) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (798:840) duplicated block id: 132 size: 17 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeBaseVerb.cs (45:68) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeBaseVerb.cs (45:68) duplicated block id: 133 size: 17 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerbRunner.cs (268:291) - ironclad-apps/tools/NuBuild2/NuBuild/VerbRunner.cs (268:291) duplicated block id: 134 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (350:368) - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (350:368) duplicated block id: 135 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmDepBase.cs (204:223) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmDepBase.cs (204:223) duplicated block id: 136 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs (84:105) - ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs (85:106) duplicated block id: 137 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ContextGeneratingVerb.cs (65:83) - ironclad-apps/tools/NuBuild2/NuBuild/ContextGeneratingVerb.cs (65:83) duplicated block id: 138 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyTransformBaseVerb.cs (59:76) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransformBaseVerb.cs (59:76) duplicated block id: 139 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyTransformBaseVerb.cs (78:97) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransformBaseVerb.cs (78:97) duplicated block id: 140 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyTransformBaseVerb.cs (176:196) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransformBaseVerb.cs (176:196) duplicated block id: 141 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyTreeVerb.cs (41:59) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyTreeVerb.cs (41:59) duplicated block id: 142 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Disposition.cs (18:34) - ironclad-apps/tools/NuBuild2/NuBuild/Disposition.cs (18:34) duplicated block id: 143 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/LinkerVerb.cs (30:51) - ironclad-apps/tools/NuBuild2/NuBuild/LinkerVerb.cs (30:51) duplicated block id: 144 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Presentater.cs (224:241) - ironclad-apps/tools/NuBuild2/NuBuild/Presentater.cs (224:241) duplicated block id: 145 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (430:449) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (430:449) duplicated block id: 146 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsVerb.cs (109:129) - ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsVerb.cs (109:129) duplicated block id: 147 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VSProjectParser.cs (87:104) - ironclad-apps/tools/NuBuild2/NuBuild/VSProjectParser.cs (87:104) duplicated block id: 148 size: 16 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Verb.cs (80:99) - ironclad-apps/tools/NuBuild2/NuBuild/Verb.cs (80:99) duplicated block id: 149 size: 16 cleaned lines of code in 3 files: - ironfleet/src/IronRSLCounterClient/Params.cs (38:54) - ironfleet/src/IronRSLKVClient/Params.cs (44:60) - ironfleet/src/IronSHTClient/Params.cs (47:63) duplicated block id: 150 size: 15 cleaned lines of code in 9 files: - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (48:63) - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (31:46) - ironclad-apps/src/Clients/DotNetSHABench/Parameters.cs (36:51) - ironclad-apps/src/Clients/Notary/Parameters.cs (35:50) - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (31:46) - ironclad-apps/src/Clients/PassHash/Parameters.cs (39:54) - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (35:50) - ironclad-apps/src/Clients/TrInc/Parameters.cs (38:53) - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (31:46) duplicated block id: 151 size: 15 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/AzureAccount.cs (108:126) - ironclad-apps/tools/NuBuild2/AzureManager/AzureAccount.cs (108:126) duplicated block id: 152 size: 15 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (317:343) - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (317:343) duplicated block id: 153 size: 15 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/AbstractId.cs (35:50) - ironclad-apps/tools/NuBuild2/NuBuild/AbstractId.cs (35:50) duplicated block id: 154 size: 15 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Presentater.cs (91:107) - ironclad-apps/tools/NuBuild2/NuBuild/Presentater.cs (91:107) duplicated block id: 155 size: 15 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (120:138) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (120:138) duplicated block id: 156 size: 15 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (105:121) - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (105:121) duplicated block id: 157 size: 15 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Util.cs (142:159) - ironclad-apps/tools/NuBuild2/NuBuild/Util.cs (142:159) duplicated block id: 158 size: 15 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationObligationList.cs (34:50) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationObligationList.cs (34:50) duplicated block id: 159 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (144:158) - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (144:158) duplicated block id: 160 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatExtensions.cs (82:98) - ironclad-apps/tools/NuBuild2/NuBuild/BeatExtensions.cs (82:98) duplicated block id: 161 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerifyVerb.cs (33:49) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerifyVerb.cs (33:49) duplicated block id: 162 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerifyVerb.cs (175:190) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerifyVerb.cs (175:190) duplicated block id: 163 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BuildObject.cs (218:236) - ironclad-apps/tools/NuBuild2/NuBuild/BuildObject.cs (218:236) duplicated block id: 164 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (172:186) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (172:186) duplicated block id: 165 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCCVerb.cs (67:84) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCCVerb.cs (67:84) duplicated block id: 166 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnySpecVerb.cs (78:93) - ironclad-apps/tools/NuBuild2/NuBuild/DafnySpecVerb.cs (78:93) duplicated block id: 167 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (127:141) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (127:141) duplicated block id: 168 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/LinkerVerb.cs (81:96) - ironclad-apps/tools/NuBuild2/NuBuild/LinkerVerb.cs (81:96) duplicated block id: 169 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Program.cs (275:290) - ironclad-apps/tools/NuBuild2/NuBuild/Program.cs (275:290) duplicated block id: 170 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (148:162) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (148:162) duplicated block id: 171 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsVerb.cs (43:59) - ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsVerb.cs (43:59) duplicated block id: 172 size: 14 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResult.cs (118:133) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResult.cs (118:133) duplicated block id: 173 size: 14 cleaned lines of code in 4 files: - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (80:94) - ironfleet/src/IronRSLCounterClient/Params.cs (56:70) - ironfleet/src/IronRSLKVClient/Params.cs (62:76) - ironfleet/src/IronSHTServer/Params.cs (70:84) duplicated block id: 174 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/AzureAccount.cs (174:188) - ironclad-apps/tools/NuBuild2/AzureManager/AzureAccount.cs (174:188) duplicated block id: 175 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs (161:176) - ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs (161:176) duplicated block id: 176 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs (322:337) - ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs (322:337) duplicated block id: 177 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatIncludes.cs (91:106) - ironclad-apps/tools/NuBuild2/NuBuild/BeatIncludes.cs (91:106) duplicated block id: 178 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmDepBase.cs (225:240) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmDepBase.cs (225:240) duplicated block id: 179 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerifyVerb.cs (51:66) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerifyVerb.cs (51:66) duplicated block id: 180 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCompileOneVerb.cs (111:128) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCompileOneVerb.cs (111:128) duplicated block id: 181 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyExtensions.cs (15:29) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyExtensions.cs (15:29) duplicated block id: 182 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/IronfleetAppVerb.cs (75:90) - ironclad-apps/tools/NuBuild2/NuBuild/IronfleetAppVerb.cs (75:90) duplicated block id: 183 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheLocal.cs (40:58) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheLocal.cs (40:58) duplicated block id: 184 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheLocal.cs (229:243) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheLocal.cs (229:243) duplicated block id: 185 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheLocal.cs (255:269) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheLocal.cs (255:269) duplicated block id: 186 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs (563:578) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs (563:578) duplicated block id: 187 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/MasmVerb.cs (69:85) - ironclad-apps/tools/NuBuild2/NuBuild/MasmVerb.cs (69:85) duplicated block id: 188 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/NMakeVerb.cs (28:44) - ironclad-apps/tools/NuBuild2/NuBuild/NMakeVerb.cs (28:44) duplicated block id: 189 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (97:113) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (97:113) duplicated block id: 190 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (400:415) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (400:415) duplicated block id: 191 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (480:502) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (480:502) duplicated block id: 192 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerbToposorter.cs (45:61) - ironclad-apps/tools/NuBuild2/NuBuild/VerbToposorter.cs (45:61) duplicated block id: 193 size: 13 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/WaitIndex.cs (78:96) - ironclad-apps/tools/NuBuild2/NuBuild/WaitIndex.cs (78:96) duplicated block id: 194 size: 12 cleaned lines of code in 4 files: - ironclad-apps/src/Clients/DiffPrivSrv/Program.cs (19:31) - ironclad-apps/src/Clients/NotarySrv/Program.cs (19:31) - ironclad-apps/src/Clients/PassHashSrv/Program.cs (19:31) - ironclad-apps/src/Clients/TrIncSrv/Program.cs (19:31) duplicated block id: 195 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BackgroundWorker.cs (79:94) - ironclad-apps/tools/NuBuild2/NuBuild/BackgroundWorker.cs (79:94) duplicated block id: 196 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BackgroundWorker.cs (180:194) - ironclad-apps/tools/NuBuild2/NuBuild/BackgroundWorker.cs (180:194) duplicated block id: 197 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BatchVerifyVerb.cs (87:100) - ironclad-apps/tools/NuBuild2/NuBuild/BatchVerifyVerb.cs (87:100) duplicated block id: 198 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatExtensions.cs (62:75) - ironclad-apps/tools/NuBuild2/NuBuild/BeatExtensions.cs (62:75) duplicated block id: 199 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatVerb.cs (105:120) - ironclad-apps/tools/NuBuild2/NuBuild/BeatVerb.cs (105:120) duplicated block id: 200 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerificationObligationListVerb.cs (39:54) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerificationObligationListVerb.cs (39:54) duplicated block id: 201 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (121:133) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (121:133) duplicated block id: 202 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnySpecVerb.cs (64:76) - ironclad-apps/tools/NuBuild2/NuBuild/DafnySpecVerb.cs (64:76) duplicated block id: 203 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyOneVerb.cs (96:108) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyOneVerb.cs (94:106) duplicated block id: 204 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Hasher.cs (27:40) - ironclad-apps/tools/NuBuild2/NuBuild/Hasher.cs (27:40) duplicated block id: 205 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/PoundDefines.cs (41:53) - ironclad-apps/tools/NuBuild2/NuBuild/PoundDefines.cs (41:53) duplicated block id: 206 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ProcessInvokeAsyncWorker.cs (280:294) - ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvokeAsyncWorker.cs (280:294) duplicated block id: 207 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SourcePath.cs (111:123) - ironclad-apps/tools/NuBuild2/NuBuild/SourcePath.cs (111:123) duplicated block id: 208 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffBaseVerb.cs (77:91) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffBaseVerb.cs (77:91) duplicated block id: 209 size: 12 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResult.cs (197:209) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResult.cs (197:209) duplicated block id: 210 size: 11 cleaned lines of code in 8 files: - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (217:229) - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (351:363) - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (311:323) - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (166:178) - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (217:229) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (351:363) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (311:323) - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (166:178) duplicated block id: 211 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/CloudExecutionWorker/CloudExecutionEngine.cs (48:62) - ironclad-apps/tools/NuBuild2/CloudExecutionWorker/CloudExecutionEngine.cs (48:62) duplicated block id: 212 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BatchVerifyVerb.cs (120:133) - ironclad-apps/tools/NuBuild2/NuBuild/BatchVerifyVerb.cs (120:133) duplicated block id: 213 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BuildObject.cs (173:184) - ironclad-apps/tools/NuBuild2/NuBuild/BuildObject.cs (173:184) duplicated block id: 214 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ConcatContext.cs (29:41) - ironclad-apps/tools/NuBuild2/NuBuild/ConcatContext.cs (29:41) duplicated block id: 215 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCompileOneVerb.cs (31:43) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCompileOneVerb.cs (31:43) duplicated block id: 216 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DependencyDisposition.cs (20:33) - ironclad-apps/tools/NuBuild2/NuBuild/DependencyDisposition.cs (20:33) duplicated block id: 217 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheLocal.cs (143:154) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheLocal.cs (143:154) duplicated block id: 218 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheLocal.cs (168:179) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheLocal.cs (168:179) duplicated block id: 219 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Job.cs (143:156) - ironclad-apps/tools/NuBuild2/NuBuild/Job.cs (143:156) duplicated block id: 220 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/LinkerVerb.cs (98:112) - ironclad-apps/tools/NuBuild2/NuBuild/LinkerVerb.cs (98:112) duplicated block id: 221 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Presentation.cs (37:49) - ironclad-apps/tools/NuBuild2/NuBuild/Presentation.cs (37:49) duplicated block id: 222 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Program.cs (76:88) - ironclad-apps/tools/NuBuild2/NuBuild/Program.cs (76:88) duplicated block id: 223 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (256:269) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (256:269) duplicated block id: 224 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffEngine.cs (13:25) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffEngine.cs (13:25) duplicated block id: 225 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VSProjectParser.cs (151:162) - ironclad-apps/tools/NuBuild2/NuBuild/VSProjectParser.cs (151:162) duplicated block id: 226 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VSSolutionVerb.cs (35:50) - ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionVerb.cs (35:50) duplicated block id: 227 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Verb.cs (17:28) - ironclad-apps/tools/NuBuild2/NuBuild/Verb.cs (17:28) duplicated block id: 228 size: 11 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerbRunner.cs (85:99) - ironclad-apps/tools/NuBuild2/NuBuild/VerbRunner.cs (85:99) duplicated block id: 229 size: 11 cleaned lines of code in 4 files: - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (45:56) - ironfleet/src/IronLockServer/Params.cs (31:42) - ironfleet/src/IronSHTServer/Params.cs (35:46) - ironfleet/src/TestIoFramework/Params.cs (31:42) duplicated block id: 230 size: 11 cleaned lines of code in 2 files: - ironfleet/tools/scripts/dafny-line-count.py (0:0) - ironfleet/tools/scripts/purge.py (0:0) duplicated block id: 231 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/Program.cs (287:314) - ironclad-apps/tools/NuBuild2/AzureManager/Program.cs (287:314) duplicated block id: 232 size: 10 cleaned lines of code in 8 files: - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (299:310) - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (473:483) - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (436:446) - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (233:243) - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (299:310) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (473:483) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (436:446) - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (233:243) duplicated block id: 233 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/ItemCacheTool/CacheState.cs (94:104) - ironclad-apps/tools/NuBuild2/ItemCacheTool/CacheState.cs (94:104) duplicated block id: 234 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/AbstractId.cs (57:67) - ironclad-apps/tools/NuBuild2/NuBuild/AbstractId.cs (57:67) duplicated block id: 235 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BasmObligationIncludes.cs (27:39) - ironclad-apps/tools/NuBuild2/NuBuild/BasmObligationIncludes.cs (27:39) duplicated block id: 236 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs (263:275) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs (263:275) duplicated block id: 237 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyIncludes.cs (93:109) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyIncludes.cs (93:109) duplicated block id: 238 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DbgHashSpeedTest.cs (9:20) - ironclad-apps/tools/NuBuild2/NuBuild/DbgHashSpeedTest.cs (9:20) duplicated block id: 239 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (231:242) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (231:242) duplicated block id: 240 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (254:265) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (254:265) duplicated block id: 241 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs (248:259) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs (248:259) duplicated block id: 242 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs (271:282) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs (271:282) duplicated block id: 243 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs (410:420) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs (410:420) duplicated block id: 244 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/PathNormalizer.cs (121:132) - ironclad-apps/tools/NuBuild2/NuBuild/PathNormalizer.cs (121:132) duplicated block id: 245 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ProcessInvoker.cs (214:224) - ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvoker.cs (214:224) duplicated block id: 246 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (683:710) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (683:710) duplicated block id: 247 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SourcePath.cs (33:45) - ironclad-apps/tools/NuBuild2/NuBuild/SourcePath.cs (33:45) duplicated block id: 248 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffCombineVerb.cs (69:84) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffCombineVerb.cs (69:84) duplicated block id: 249 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Util.cs (88:98) - ironclad-apps/tools/NuBuild2/NuBuild/Util.cs (88:98) duplicated block id: 250 size: 10 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationRequest.cs (42:52) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationRequest.cs (42:52) duplicated block id: 251 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/AzureAccount.cs (133:146) - ironclad-apps/tools/NuBuild2/AzureManager/AzureAccount.cs (133:146) duplicated block id: 252 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/AzureAccount.cs (151:164) - ironclad-apps/tools/NuBuild2/AzureManager/AzureAccount.cs (151:164) duplicated block id: 253 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/AnnotationScanner.cs (63:73) - ironclad-apps/tools/NuBuild2/NuBuild/AnnotationScanner.cs (63:73) duplicated block id: 254 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BatchVerifyVerb.cs (102:113) - ironclad-apps/tools/NuBuild2/NuBuild/BatchVerifyVerb.cs (102:113) duplicated block id: 255 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatExtensions.cs (28:37) - ironclad-apps/tools/NuBuild2/NuBuild/BeatExtensions.cs (28:37) duplicated block id: 256 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatExtensions.cs (46:55) - ironclad-apps/tools/NuBuild2/NuBuild/BeatExtensions.cs (46:55) duplicated block id: 257 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CachedHash.cs (19:28) - ironclad-apps/tools/NuBuild2/NuBuild/CachedHash.cs (19:28) duplicated block id: 258 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyTransformBaseVerb.cs (203:215) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransformBaseVerb.cs (203:215) duplicated block id: 259 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/EntryStitcherVerb.cs (30:39) - ironclad-apps/tools/NuBuild2/NuBuild/EntryStitcherVerb.cs (30:39) duplicated block id: 260 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/EntryStitcherVerb.cs (129:144) - ironclad-apps/tools/NuBuild2/NuBuild/EntryStitcherVerb.cs (129:144) duplicated block id: 261 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/IroncladAppVerb.cs (157:166) - ironclad-apps/tools/NuBuild2/NuBuild/IroncladAppVerb.cs (157:166) duplicated block id: 262 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/PoundDefines.cs (65:75) - ironclad-apps/tools/NuBuild2/NuBuild/PoundDefines.cs (65:75) duplicated block id: 263 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Program.cs (59:69) - ironclad-apps/tools/NuBuild2/NuBuild/Program.cs (59:69) duplicated block id: 264 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (369:378) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (369:378) duplicated block id: 265 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SourcePathIncludeContext.cs (98:107) - ironclad-apps/tools/NuBuild2/NuBuild/SourcePathIncludeContext.cs (98:107) duplicated block id: 266 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffExtractVerb.cs (45:54) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffExtractVerb.cs (45:54) duplicated block id: 267 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Util.cs (34:45) - ironclad-apps/tools/NuBuild2/NuBuild/Util.cs (34:45) duplicated block id: 268 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VSSolutionVerb.cs (52:62) - ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionVerb.cs (52:62) duplicated block id: 269 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Verb.cs (117:127) - ironclad-apps/tools/NuBuild2/NuBuild/Verb.cs (117:127) duplicated block id: 270 size: 9 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResult.cs (68:77) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResult.cs (68:77) duplicated block id: 271 size: 9 cleaned lines of code in 2 files: - ironfleet/src/IronRSLCounterClient/Client.cs (59:68) - ironfleet/src/IronRSLKVClient/Client.cs (28:37) duplicated block id: 272 size: 8 cleaned lines of code in 2 files: - ironclad-apps/src/Clients/PassHash/Parameters.cs (29:37) - ironclad-apps/src/Clients/TrInc/Parameters.cs (28:36) duplicated block id: 273 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BackgroundWorker.cs (129:139) - ironclad-apps/tools/NuBuild2/NuBuild/BackgroundWorker.cs (129:139) duplicated block id: 274 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BackgroundWorker.cs (295:303) - ironclad-apps/tools/NuBuild2/NuBuild/BackgroundWorker.cs (295:303) duplicated block id: 275 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatExtensions.cs (172:182) - ironclad-apps/tools/NuBuild2/NuBuild/BeatExtensions.cs (172:182) duplicated block id: 276 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmDepBase.cs (286:294) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmDepBase.cs (286:294) duplicated block id: 277 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerifyVerb.cs (82:91) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerifyVerb.cs (82:91) duplicated block id: 278 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs (283:295) - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs (283:295) duplicated block id: 279 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ConcatContextVerb.cs (45:53) - ironclad-apps/tools/NuBuild2/NuBuild/ConcatContextVerb.cs (45:53) duplicated block id: 280 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ContextGeneratingVerb.cs (51:60) - ironclad-apps/tools/NuBuild2/NuBuild/ContextGeneratingVerb.cs (51:60) duplicated block id: 281 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCCVerb.cs (47:55) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCCVerb.cs (47:55) duplicated block id: 282 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCCVerb.cs (111:119) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCCVerb.cs (111:119) duplicated block id: 283 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyTreeVerb.cs (80:88) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyTreeVerb.cs (80:88) duplicated block id: 284 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DbgVerbCounter.cs (16:24) - ironclad-apps/tools/NuBuild2/NuBuild/DbgVerbCounter.cs (16:24) duplicated block id: 285 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Disposition.cs (147:155) - ironclad-apps/tools/NuBuild2/NuBuild/Disposition.cs (147:155) duplicated block id: 286 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (208:218) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (208:218) duplicated block id: 287 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheLocal.cs (187:197) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheLocal.cs (187:197) duplicated block id: 288 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheLocal.cs (208:216) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheLocal.cs (208:216) duplicated block id: 289 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs (51:59) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs (51:59) duplicated block id: 290 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs (305:313) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs (305:313) duplicated block id: 291 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/PathNormalizer.cs (33:42) - ironclad-apps/tools/NuBuild2/NuBuild/PathNormalizer.cs (33:42) duplicated block id: 292 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (247:256) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (247:256) duplicated block id: 293 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (655:663) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (655:663) duplicated block id: 294 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SourcePathIncludeContext.cs (28:37) - ironclad-apps/tools/NuBuild2/NuBuild/SourcePathIncludeContext.cs (28:37) duplicated block id: 295 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeConfigVerb.cs (25:34) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeConfigVerb.cs (25:34) duplicated block id: 296 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Verb.cs (57:65) - ironclad-apps/tools/NuBuild2/NuBuild/Verb.cs (57:65) duplicated block id: 297 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerbRunner.cs (105:118) - ironclad-apps/tools/NuBuild2/NuBuild/VerbRunner.cs (105:118) duplicated block id: 298 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerbRunner.cs (205:213) - ironclad-apps/tools/NuBuild2/NuBuild/VerbRunner.cs (205:213) duplicated block id: 299 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerbRunner.cs (301:309) - ironclad-apps/tools/NuBuild2/NuBuild/VerbRunner.cs (301:309) duplicated block id: 300 size: 8 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/WorkingDirectory.cs (82:92) - ironclad-apps/tools/NuBuild2/NuBuild/WorkingDirectory.cs (82:92) duplicated block id: 301 size: 7 cleaned lines of code in 2 files: - ironclad-apps/src/Clients/Common/Profiler.cs (25:32) - ironfleet/src/IronfleetCommon/Profiler.cs (23:30) duplicated block id: 302 size: 7 cleaned lines of code in 9 files: - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (116:123) - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (74:81) - ironclad-apps/src/Clients/DotNetSHABench/Parameters.cs (85:92) - ironclad-apps/src/Clients/Notary/Parameters.cs (83:90) - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (74:81) - ironclad-apps/src/Clients/PassHash/Parameters.cs (92:99) - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (83:90) - ironclad-apps/src/Clients/TrInc/Parameters.cs (101:108) - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (74:81) duplicated block id: 303 size: 7 cleaned lines of code in 2 files: - ironclad-apps/src/Clients/Notary/Parameters.cs (26:33) - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (26:33) duplicated block id: 304 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/AzureManager/AzureAccount.cs (73:84) - ironclad-apps/tools/NuBuild2/AzureManager/AzureAccount.cs (73:84) duplicated block id: 305 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/CloudQueueTool/Program.cs (109:116) - ironclad-apps/tools/NuBuild2/CloudQueueTool/Program.cs (109:116) duplicated block id: 306 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/CloudQueueTool/Program.cs (118:125) - ironclad-apps/tools/NuBuild2/CloudQueueTool/Program.cs (118:125) duplicated block id: 307 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/AbstractId.cs (26:33) - ironclad-apps/tools/NuBuild2/NuBuild/AbstractId.cs (26:33) duplicated block id: 308 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/AsmRewriterVerb.cs (24:32) - ironclad-apps/tools/NuBuild2/NuBuild/AsmRewriterVerb.cs (24:32) duplicated block id: 309 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatExtensions.cs (100:107) - ironclad-apps/tools/NuBuild2/NuBuild/BeatExtensions.cs (100:107) duplicated block id: 310 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmDepBase.cs (67:77) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmDepBase.cs (67:77) duplicated block id: 311 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmDepBase.cs (84:92) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmDepBase.cs (84:92) duplicated block id: 312 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerificationObligationListVerb.cs (61:68) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerificationObligationListVerb.cs (61:68) duplicated block id: 313 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (62:69) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (62:69) duplicated block id: 314 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (140:149) - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (140:149) duplicated block id: 315 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs (107:116) - ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs (108:117) duplicated block id: 316 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCCVerb.cs (102:109) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCCVerb.cs (102:109) duplicated block id: 317 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyExecutableDependencies.cs (13:22) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyExecutableDependencies.cs (13:22) duplicated block id: 318 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnySpecVerb.cs (47:56) - ironclad-apps/tools/NuBuild2/NuBuild/DafnySpecVerb.cs (47:56) duplicated block id: 319 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyTransformBaseVerb.cs (217:224) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransformBaseVerb.cs (217:224) duplicated block id: 320 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyTreeVerb.cs (61:73) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyTreeVerb.cs (61:73) duplicated block id: 321 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DbgVerbCounter.cs (32:40) - ironclad-apps/tools/NuBuild2/NuBuild/DbgVerbCounter.cs (32:40) duplicated block id: 322 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Disposition.cs (87:94) - ironclad-apps/tools/NuBuild2/NuBuild/Disposition.cs (87:94) duplicated block id: 323 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/IroncladAppVerb.cs (122:132) - ironclad-apps/tools/NuBuild2/NuBuild/IroncladAppVerb.cs (122:132) duplicated block id: 324 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (155:162) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (155:162) duplicated block id: 325 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (176:183) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (176:183) duplicated block id: 326 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs (168:175) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs (168:175) duplicated block id: 327 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs (189:196) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs (189:196) duplicated block id: 328 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Job.cs (101:110) - ironclad-apps/tools/NuBuild2/NuBuild/Job.cs (101:110) duplicated block id: 329 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/OrderPreservingSet.cs (60:67) - ironclad-apps/tools/NuBuild2/NuBuild/OrderPreservingSet.cs (60:67) duplicated block id: 330 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Presentation.cs (51:58) - ironclad-apps/tools/NuBuild2/NuBuild/Presentation.cs (51:58) duplicated block id: 331 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Program.cs (39:46) - ironclad-apps/tools/NuBuild2/NuBuild/Program.cs (39:46) duplicated block id: 332 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (314:321) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (314:321) duplicated block id: 333 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (637:649) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (637:649) duplicated block id: 334 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffBaseVerb.cs (21:31) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffBaseVerb.cs (21:31) duplicated block id: 335 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffCombineVerb.cs (26:41) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffCombineVerb.cs (26:41) duplicated block id: 336 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffExtractVerb.cs (87:95) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffExtractVerb.cs (87:95) duplicated block id: 337 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffInferVerb.cs (57:65) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffInferVerb.cs (57:65) duplicated block id: 338 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffInferVerb.cs (67:75) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffInferVerb.cs (67:75) duplicated block id: 339 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeConfigVerb.cs (56:63) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeConfigVerb.cs (56:63) duplicated block id: 340 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeVerb.cs (24:32) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeVerb.cs (24:32) duplicated block id: 341 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeVerb.cs (54:61) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeVerb.cs (54:61) duplicated block id: 342 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Util.cs (25:32) - ironclad-apps/tools/NuBuild2/NuBuild/Util.cs (25:32) duplicated block id: 343 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VSProjectParser.cs (31:39) - ironclad-apps/tools/NuBuild2/NuBuild/VSProjectParser.cs (31:39) duplicated block id: 344 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerbRunner.cs (411:418) - ironclad-apps/tools/NuBuild2/NuBuild/VerbRunner.cs (411:418) duplicated block id: 345 size: 7 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs (26:33) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs (26:33) duplicated block id: 346 size: 7 cleaned lines of code in 2 files: - ironfleet/src/Dafny/Distributed/Common/Native/IoFramework.cs (265:272) - ironfleet/src/Dafny/Distributed/Common/Native/IoFramework.cs (274:281) duplicated block id: 347 size: 7 cleaned lines of code in 3 files: - ironfleet/src/IronRSLCounterClient/Params.cs (29:36) - ironfleet/src/IronRSLKVClient/Params.cs (35:42) - ironfleet/src/IronSHTClient/Params.cs (38:45) duplicated block id: 348 size: 6 cleaned lines of code in 3 files: - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (23:29) - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (23:29) - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (23:29) duplicated block id: 349 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/AnnotationScanner.cs (108:116) - ironclad-apps/tools/NuBuild2/NuBuild/AnnotationScanner.cs (108:116) duplicated block id: 350 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BatchVerifyVerb.cs (62:69) - ironclad-apps/tools/NuBuild2/NuBuild/BatchVerifyVerb.cs (62:69) duplicated block id: 351 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatVerb.cs (27:33) - ironclad-apps/tools/NuBuild2/NuBuild/BeatVerb.cs (27:33) duplicated block id: 352 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BeatVerb.cs (41:47) - ironclad-apps/tools/NuBuild2/NuBuild/BeatVerb.cs (41:47) duplicated block id: 353 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs (146:154) - ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs (147:155) duplicated block id: 354 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BuildObject.cs (339:345) - ironclad-apps/tools/NuBuild2/NuBuild/BuildObject.cs (339:345) duplicated block id: 355 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BuildObjectValuePointer.cs (89:95) - ironclad-apps/tools/NuBuild2/NuBuild/BuildObjectValuePointer.cs (89:95) duplicated block id: 356 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/BuildObjectValuePointer.cs (102:108) - ironclad-apps/tools/NuBuild2/NuBuild/BuildObjectValuePointer.cs (102:108) duplicated block id: 357 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCCVerb.cs (21:27) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCCVerb.cs (21:27) duplicated block id: 358 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyCCVerb.cs (86:92) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCCVerb.cs (86:92) duplicated block id: 359 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyTransformBaseVerb.cs (46:52) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransformBaseVerb.cs (46:52) duplicated block id: 360 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyOneVerb.cs (33:39) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyOneVerb.cs (33:39) duplicated block id: 361 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyTreeVerb.cs (95:101) - ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyTreeVerb.cs (95:101) duplicated block id: 362 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Disposition.cs (41:47) - ironclad-apps/tools/NuBuild2/NuBuild/Disposition.cs (41:47) duplicated block id: 363 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (194:200) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (194:200) duplicated block id: 364 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (279:285) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (279:285) duplicated block id: 365 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs (215:221) - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs (215:221) duplicated block id: 366 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/LinkerVerb.cs (63:69) - ironclad-apps/tools/NuBuild2/NuBuild/LinkerVerb.cs (63:69) duplicated block id: 367 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Logger.cs (27:33) - ironclad-apps/tools/NuBuild2/NuBuild/Logger.cs (27:33) duplicated block id: 368 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Logger.cs (48:54) - ironclad-apps/tools/NuBuild2/NuBuild/Logger.cs (48:54) duplicated block id: 369 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/MasmVerb.cs (23:30) - ironclad-apps/tools/NuBuild2/NuBuild/MasmVerb.cs (23:30) duplicated block id: 370 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/MasmVerb.cs (60:67) - ironclad-apps/tools/NuBuild2/NuBuild/MasmVerb.cs (60:67) duplicated block id: 371 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/OrderPreservingSet.cs (74:80) - ironclad-apps/tools/NuBuild2/NuBuild/OrderPreservingSet.cs (74:80) duplicated block id: 372 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Presentater.cs (263:269) - ironclad-apps/tools/NuBuild2/NuBuild/Presentater.cs (263:269) duplicated block id: 373 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/PresentationBuilder.cs (19:27) - ironclad-apps/tools/NuBuild2/NuBuild/PresentationBuilder.cs (19:27) duplicated block id: 374 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/PresentationBuilder.cs (29:35) - ironclad-apps/tools/NuBuild2/NuBuild/PresentationBuilder.cs (29:35) duplicated block id: 375 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/PresentationBuilder.cs (42:48) - ironclad-apps/tools/NuBuild2/NuBuild/PresentationBuilder.cs (42:48) duplicated block id: 376 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (81:88) - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (81:88) duplicated block id: 377 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (62:68) - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (62:68) duplicated block id: 378 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (82:88) - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (82:88) duplicated block id: 379 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (623:629) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (623:629) duplicated block id: 380 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (670:676) - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (670:676) duplicated block id: 381 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffExtractVerb.cs (26:33) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffExtractVerb.cs (26:33) duplicated block id: 382 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeBaseVerb.cs (22:31) - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeBaseVerb.cs (22:31) duplicated block id: 383 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerbOutputsContextVerb.cs (30:39) - ironclad-apps/tools/NuBuild2/NuBuild/VerbOutputsContextVerb.cs (30:39) duplicated block id: 384 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerbOutputsContextVerb.cs (46:52) - ironclad-apps/tools/NuBuild2/NuBuild/VerbOutputsContextVerb.cs (46:52) duplicated block id: 385 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationMessage.cs (36:42) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationMessage.cs (36:42) duplicated block id: 386 size: 6 cleaned lines of code in 2 files: - ironclad-apps/tools/NuBuild/NuBuild/VerificationMessage.cs (44:50) - ironclad-apps/tools/NuBuild2/NuBuild/VerificationMessage.cs (44:50) duplicated block id: 387 size: 6 cleaned lines of code in 2 files: - ironfleet/src/IronLockServer/Params.cs (17:23) - ironfleet/src/TestIoFramework/Params.cs (17:23)