leaderelection_inductive.spec 1.06 KB