Documentation ¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func FuzzStoreWith ¶
Types ¶
type Store ¶
type Store interface { // Inserts an entry in the store. Returns an error if an entry with greater or // equal ID was already inserted. Put(msg Message) error // Returns a slice of all messages in the specified channels, from the // specified ID to the message with most recent ID. All messages will have IDs // such that `sinceID < ID <= mostRecentID`. EntriesSince(sinceID ID, channel Channel) (ID, []Message) // Returns the ID of the most recently inserted message. MostRecentID() ID // Returns the number of messages in the store. NumEntries() int // Returns all messages across all channels as a single slice, // sorted by ID. AsSlice() []Message // Returns the maximum number of messages in the store. MessageLimit() int }
@fuzz interface: Store
@known correct: & makeReferenceStore int
@invariant: %var.NumEntries() == len(%var.AsSlice()) @invariant: %var.NumEntries() <= %var.MessageLimit()
@generator state: uint(0)
@generator: generateChannel Channel @generator: ! generateID ID @generator: ! generateMessage Message
Click to show internal directories.
Click to hide internal directories.