search

uwplse / verdi-raft

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
BSD 2-Clause "Simplified" License
182 stars 19 forks source link

improved auto goal selection #91

Closed mrhaandi closed 2 years ago

mrhaandi commented 2 years ago

Improves robustness in case of stronger (e)auto (see coq/#16293).