mschoch / smatLinks
State Machine Assisted Testing
☆80Updated 5 years ago
Alternatives and similar repositories for smat
Users that are interested in smat are comparing it to the libraries listed below
Sorting:
- Run linters from Go code -☆66Updated 7 years ago
- ☆47Updated 9 years ago
- A property-based testing library☆37Updated 8 years ago
- singlefile implements a host wide locking mechanism.☆34Updated 10 years ago
- show Go package dependencies☆52Updated 7 years ago
- ☆70Updated 4 years ago
- Return random values sampled from a discrete distribution☆38Updated 7 years ago
- Remove implicit field traversals from Go source☆37Updated 3 years ago
- A tool for rewriting Go import paths☆80Updated 7 years ago
- Brenda is a boolean expression solver for Go AST☆46Updated 6 years ago
- Golang augmented net.Dialer with connection pooling, cached DNS record IP's with round-robin & random access☆42Updated 7 years ago
- k8s wait and backoff utilities, extracted for general use☆37Updated 9 years ago
- Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell☆108Updated 9 years ago
- ☆15Updated 8 years ago
- Go library for representing and applying patches to modify existing Go structures☆56Updated 8 years ago
- identity pure functions in golang source☆26Updated 2 years ago
- Flen provides stats on functions/methods lengths in a Golang package.☆51Updated 7 years ago
- Vendor copies go dependencies to ./vendor☆52Updated 9 years ago
- ctx = Cons(ctx1, ctx2)☆22Updated 8 years ago
- github.com/cznic/memory has moved to modernc.org/memory☆105Updated 6 years ago
- trace is a wrapper for net/trace that extends it by logging trace/event information to a structured log and providing metrics (counts, er…☆73Updated 4 years ago
- Tool to detect range statements iterating over addressable arrays☆28Updated 7 years ago
- A library for abstracting away from the literal Go time library, for testing and time control.☆58Updated 2 years ago
- Go contexts for graceful shutdown☆54Updated 8 years ago
- Go implementation of xoroshiro128+ RNG☆15Updated 4 years ago
- Simple expiring cache☆15Updated 8 years ago
- prdeps prints the dependency graph of a Go package.☆43Updated 8 years ago
- ddmin test case minimization algorithm☆31Updated 4 years ago
- Fastest Encoder in the West☆65Updated 8 years ago
- Tool to generate random strings from Go/RE2 regular expressions (Migrated to https://git.sr.ht/~nilium/regen)☆79Updated last year