一键导入
e2e-testing
The general approach for end to end testing in the project. Especially, when adding new features or diagnostics.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
The general approach for end to end testing in the project. Especially, when adding new features or diagnostics.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Write or update focused unit tests in the Pernix compiler codebase. Use when adding Rust test functions, covering a bug or feature with unit tests, or reviewing test clarity. Apply concise input, premise, and output contract comments especially to tests for pernixc_type and pernixc_solver; inspect and follow local conventions in other crates.
The general coding style for the project. This includes the general API design guide and acceptance criterias
Workflow for creating and updating syntax trees in the `pernixc_syntax` crate, including the `abstract_tree` macro pattern and the arbitrary module for property-based testing.
| name | e2e-testing |
| description | The general approach for end to end testing in the project. Especially, when adding new features or diagnostics. |
test in the current module (e.g., #[cfg(test)] mod test;).test or Test in symbol names within the test module (e.g., no test_function or TestBasicStruct, just use the bare descriptive name).Generally, when adding new features or diagnostics, it's better to add an end-to-end
test with snapshot testing. This can be found under the compiler/e2e/test/snapshot/
directory.
main.pnx file with source code that will trigger the diagnostic outputs.cargo nextest r -p pernixc_e2e -- --skip regression command to execute the test and generate snapshots. (NOTE: It's recommended to skip regression tests as they can be time-consuming and often unproductive).cargo insta review. Approved snapshots will be saved alongside the test files for future reference.