1. etcd supports TLA trace validation #57
Annotations
10 errors
test
etcd.listEntriesType calls exec.Cmd.Start, which eventually calls filepath.Abs
|
test
etcd.main calls exec.Command, which calls filepath.Base
|
test
raftexample.raftNode.openWAL calls wal.Create, which calls filepath.Clean
|
test
cmd.etcdVersionAnnotation.PrintLine calls fmt.Fprintf, which eventually calls filepath.Dir
|
test
etcd.main calls filepath.Join
|
test
etcd.listEntriesType calls exec.Cmd.Start, which eventually calls filepath.VolumeName
|
test
etcd.main calls embed.StartEtcd, which eventually calls transport.NewServerTransport
|
test
etcd.main calls embed.StartEtcd, which eventually calls grpc.NewServer
|
test
etcd.main calls embed.StartEtcd, which eventually calls grpc.Server.Serve
|
test
storage.main calls http.ListenAndServe, which eventually calls http2.Server.ServeConn
|