anmonteiro / anmonteiro/gluten
Add an "instrumented" runtime
Offen
- Vorherrschende Sprache
- OCaml
- Sterne
- 48
- Forks
- 23
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
Gluten could easily implement a version of is runtime, e.g. through Dune virtual libraries, that instruments all calls to the state machine. It'd allow to link it in development and easily produce repro cases for the upstream libraries.
Suggested by @lupus.
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.