Jest
Testing · a JavaScript test framework
created · updated
One of the most widespread automated test frameworks for JavaScript code. You describe what a function must return for a given input, and Jest runs all such checks and shows which ones failed. From the same family as Vitest and QUnit, and it checks finished code, not the rules of a system as Quint does.
Source: jestjs.io, the Jest site
Where it appears · 5
- Vitest vs Jest · Specs and context
- How to find a race condition in code · Specs and context
- How model checking differs from testing · Specs and context
- TLA+ vs Alloy vs Quint · Specs and context
- Harness engineering in practice · Harness