[#3] add coverspec