package specpaxos.spec.test

Get desktop application:
View/edit binary Protocol Buffers messages

• required uint64 newview = 1

• repeated TestLog log = 2

• repeated TestLogEntry expected = 3

Used in: MergeTestCase

• required uint32 replicaidx = 1

• required uint64 view = 2

• required uint64 lastNormalView = 3

• repeated TestLogEntry entries = 4

Used in: MergeTestCase, TestLog

• required uint64 view = 1

• required uint64 opnum = 2

• required string id = 3

• required bool spec = 4