leaderelection_inductive_withB.spec 1.09 KB