coverage uses a json file format now, not pickle
coverage uses a json file format now, not pickle

Autoplectic/dit,Autoplectic/dit,dit/dit,dit/dit,Autoplectic/dit,Autoplectic/dit,Autoplectic/dit,dit/dit,dit/dit,dit/dit