@firfi/quint-connect/dist/cli/trace-adapter.js

Model-based testing framework connecting Quint specifications to TypeScript implementations

export {};
//# sourceMappingURL=trace-adapter.js.map