README
¶
netrix
Distributed systems testing framework. Visit https://netrixframework.github.io for documentation.
Documentation
¶
There is no documentation for this package.
Source Files
Directories
¶
| Path | Synopsis |
|---|---|
|
Package apiserver implements the API interface of Netrix.
|
Package apiserver implements the API interface of Netrix. |
|
Package config defines the configuration data structures used by Netrix
|
Package config defines the configuration data structures used by Netrix |
|
Package context defines the global context object used by Netrix.
|
Package context defines the global context object used by Netrix. |
|
Package log defines the log interface for logging data.
|
Package log defines the log interface for logging data. |
|
Package sm defines the state machine used to specify properties to test for.
|
Package sm defines the state machine used to specify properties to test for. |
|
Package strategies provides the framework to define testing strategies.
|
Package strategies provides the framework to define testing strategies. |
|
pct
Package pct defines the PCTCP testing strategy
|
Package pct defines the PCTCP testing strategy |
|
timeout
Package timeout encodes a strategy where timeout durations are chosen non deterministically
|
Package timeout encodes a strategy where timeout durations are chosen non deterministically |
|
unittest
Package unittest strategy runs the same unit test for each iteration
|
Package unittest strategy runs the same unit test for each iteration |
|
Package testlib is the library for creating and running unit tests.
|
Package testlib is the library for creating and running unit tests. |
|
Package type defines the common data structures used internally and for defining tests/strategies in Netrix.
|
Package type defines the common data structures used internally and for defining tests/strategies in Netrix. |
|
z3
Package z3 provides Go bindings to the Z3 SMT Solver.
|
Package z3 provides Go bindings to the Z3 SMT Solver. |
Click to show internal directories.
Click to hide internal directories.