6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel.ml (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/disk_sig.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/marshal_tools.ml (1:6, 5%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/collections/myMap_sig.ml (1:6, 28%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/value.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/stats.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/printSignal.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/pidLog.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/sharedMemory.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/hack_bucket.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/fork.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/utils/timeout.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/hack_parallel/hack_parallel/procs/worker.mli (1:6, 9%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/disk.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/heap/workerCancel.mli (1:6, 50%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/iSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/procs/multiWorker.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/iMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/sMap.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/lock.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/disk/realDisk.ml (1:6, 42%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/procs/worker.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/stubs/eventLogger.ml (1:6, 15%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/daemon.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/disk/testDisk.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/injection/default_injector/injector_config.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/utils/timeout.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/sys_utils.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/collections/myMap.mli (1:6, 75%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/hack_parallel/hack_parallel/utils/daemon.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hack_path.mli (1:6, 24%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/hack_core.ml (1:6, 17%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/hh_json/hh_json.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/collections/myMap.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/prefix.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/measure.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/hack_parallel/hack_parallel/socket/socket.ml (1:6, 8%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/utils/collections/sSet.ml (1:6, 85%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/procs/multiWorker.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/hack_parallel/hack_parallel/heap/sharedMemory.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/marshal_tools.mli (1:6, 31%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/hack_parallel/hack_parallel/utils/measure.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/collections/intKey.ml (1:6, 75%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/heap/workerCancel.ml (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/hack_parallel/hack_parallel/utils/utils.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/collections/stringKey.ml (1:6, 66%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/hack_path.ml (1:6, 7%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/heap/prefix.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/handle.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/utils/hh_logger.ml (1:6, 6%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/hack_parallel/hack_parallel/utils/disk/disk.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/hack_parallel/hack_parallel/utils/string_utils.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/hack_parallel/hack_parallel/utils/exit_status.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/hack_parallel/hack_parallel/procs/hack_bucket.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/hack_parallel/hack_parallel/heap/value.ml (1:6, 31%)