leaderelection_inductive_withB2.spec 1.13 KB