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.
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.