Extracted code uses Coq Ascii internals

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

Extracted code uses Coq Ascii internals #63

Closed palmskog closed 6 years ago

palmskog commented 7 years ago

Due to the VarD code using Ascii internals and the positive type for the string map, VarDRaft also gets them. Using Ascii internals is a code smell.