Correct etcd log freshness and add commit liveness - #191

Correct etcd log freshness and add commit liveness#191

Qian-Cheng-nju merged 2 commits into

mainspecula-org/TLAPS-Bench:mainfrom

fix/etcd-freshness-livenessspecula-org/TLAPS-Bench:fix/etcd-freshness-livenessCopy head branch name to clipboard