leaderelection_inductive_withLoopB.spec 1.07 KB