package
3.1.3+incompatible
Repository: https://github.com/filecoin-project/mir.git
Documentation: pkg.go.dev

# Functions

NewChan creates a new channel in the simulation runtime.
NewRuntime creates a new simulation runtime given a source of pseudo-random numbers.
RandDuration returns a uniformly distributed pseudo-random duration in the range of [min, max].

# Structs

Chan represents a channel for synchronization and communication between processes in the simulated runtime.
Process represents a context of execution in the simulation.
Runtime provides a mechanism to run a simulation with logical time.