Closed vch9 closed 2 years ago
Close #388
I started doing merge by hand but Input.load_coverage already does the merge between coverage files.
Input.load_coverage
(I created a dedicated switch, it should not have compatibility issues.)
Thanks @vch9, and @arvidj for review!
Thanks again for the quick review :)
Close #388
I started doing merge by hand but
Input.load_coverage
already does the merge between coverage files.(I created a dedicated switch, it should not have compatibility issues.)