Skip to main content
skillsmp

菜单

AdaCore/spark2014

SkillsMP 已收集 AdaCore/spark2014 中的 3 个 Skill。打开任一 Skill 可查看来源和详情。

AdaCore 资料在 GitHub 查看
最近记录的来源活动
SkillsMP 收录数据更新
已收集 skills
3
GitHub 星标
322
GitHub Forks
48

这个仓库中的 skills

已展示 3 / 3 个已收集 Skill。

explain-code

职业分类
软件开发工程师
描述

Use this skill when the user wants to add a new GNATprove explain code for a SPARK violation. Covers validation, research, drafting the markdown explanation, user confirmation, and all four code changes needed to wire the new code up.

原文语言：英语

更新

test-creator

职业分类
软件质量保证分析师与测试员
描述

Use this skill when creating new automated tests in this repository. It contains details about test selection, test structure, required setup, and validation steps.

原文语言：英语

更新

validate-explain-codes

职业分类
软件质量保证分析师与测试员
描述

Validates the bad and good Ada/SPARK code examples in one or more explain code markdown files (E00NN.md) by running gnatprove --mode=stone against each snippet in the ec-test project. Can be invoked standalone or called as a step from the explain-code skill.

原文语言：英语

更新
已展示 3 / 3 个已收集 Skill。