determ-checker

Find non-determinism in golang code

Bryan Ford — Decentralized Distributed Systems Laboratory

Cristina Basescu

inactive — entered showcase: 2022-07-04 — entry updated: 2024-03-20

Lab Github - last commit: 2022-06-20

This project has not yet been evaluated by the C4DT Factory team. We will be happy to evaluate it upon request.

Toolset

Go

other