tds.ts@0.18.0 vulnerabilities
**TDS (Test-Driven State)** is a TypeScript library that allows you to model programs as a union of individual traces. It's based on the idea that every program can be hypothetically devised from such traces, facilitating state transitions and verificatio
-
latest version
0.19.0
-
latest non vulnerable version
-
first published
2 months ago
-
latest version published
20 days ago
-
licenses detected
- >=0
Direct Vulnerabilities
No direct vulnerabilities have been found for this package in Snyk’s vulnerability database. This does not include vulnerabilities belonging to this package’s dependencies.
Does your project rely on vulnerable package dependencies?Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities (in both your packages & their dependencies) and provides automated fixes for free.