model checker spec #12
Annotations
10 errors and 3 warnings
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
state_trace.go#L11
exported: type name will be used as raft.RaftStateMachineEventType by other packages, and that stutters; consider calling this StateMachineEventType (revive)
|
|
state_trace.go#L98
var-naming: struct field NodeId should be NodeID (revive)
|
The logs for this run have expired and are no longer available.
Loading