duplicated block id: 1 size: 44 cleaned lines of code in 13 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (78:128) - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (78:128) - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (78:128) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (78:128) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (78:128) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (78:128) - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (78:128) - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (78:128) - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (78:128) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (78:128) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (78:128) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (78:128) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (78:128) duplicated block id: 2 size: 30 cleaned lines of code in 14 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (29:60) - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (29:60) - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (29:60) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (29:60) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (29:60) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (29:60) - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (29:60) - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (29:60) - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (29:60) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (29:60) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (29:60) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (29:60) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (29:60) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (29:60) duplicated block id: 3 size: 22 cleaned lines of code in 14 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (130:153) - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (130:153) - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (130:153) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (130:153) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (130:153) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (130:153) - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (130:153) - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (130:153) - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (130:153) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (130:153) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (130:153) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (130:153) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (131:154) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (130:153) duplicated block id: 4 size: 17 cleaned lines of code in 4 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (51:69) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (51:69) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (51:69) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (63:81) duplicated block id: 5 size: 15 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (17:35) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (17:35) duplicated block id: 6 size: 14 cleaned lines of code in 14 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (62:76) - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (62:76) - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (62:76) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (62:76) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (62:76) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (62:76) - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (62:76) - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (62:76) - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (62:76) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (62:76) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (62:76) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (62:76) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (62:76) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (62:76) duplicated block id: 7 size: 14 cleaned lines of code in 6 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (17:34) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (17:34) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (17:34) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (17:34) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (17:34) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (29:46) duplicated block id: 8 size: 13 cleaned lines of code in 4 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (56:70) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (77:91) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (51:65) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (66:80) duplicated block id: 9 size: 11 cleaned lines of code in 6 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (37:48) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (37:48) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (37:48) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (37:48) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (37:48) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (49:60) duplicated block id: 10 size: 11 cleaned lines of code in 4 files: - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/Semantics.cs (18:29) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/Semantics.cs (18:29) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/Semantics.cs (18:29) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/Semantics.cs (18:29) duplicated block id: 11 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/WitnessFunctions.cs (23:48) - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/WitnessFunctions.cs (51:65) duplicated block id: 12 size: 8 cleaned lines of code in 14 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (155:163) - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (155:163) - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (155:163) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (155:163) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (155:163) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (155:163) - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (155:163) - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (155:163) - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (155:163) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (155:163) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (155:163) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (155:163) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (156:164) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (155:163)