Making sure the sdc provisioner is covered by specs