quint_test
Execute named test definitions from Quint specifications to verify formal models. Returns pass/fail results with detailed failure information for each test.
Instructions
Run named test definitions (run statements) from a Quint spec. Returns pass/fail for each test with failure details.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| source | No | Quint specification source code (.qnt content) | |
| file_path | No | Path to a .qnt file on disk | |
| match | No | Regex to filter test names (e.g. "transfer" to run only tests matching "transfer") |
Implementation Reference
- index.js:227-255 (handler)Registration and handler implementation for the quint_test tool.
server.tool( "quint_test", "Run named test definitions (run statements) from a Quint spec. Returns pass/fail for each test with failure details.", { ...sourceSchema, match: z .string() .optional() .describe( 'Regex to filter test names (e.g. "transfer" to run only tests matching "transfer")', ), }, async ({ source, file_path, match }) => { try { const result = await runWithSource(source, file_path, (f) => { const args = ["test"]; if (match) args.push(`--match=${match}`); args.push(f); return args; }); return formatResult(result); } catch (err) { return { content: [{ type: "text", text: `Error: ${err.message}` }], isError: true, }; } }, );