메뉴
SkillsMP는 AdaCore/spark2014에서 3개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
수집된 skill 3개 중 3개를 표시합니다.
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.
원문 언어: 영어
Use this skill when creating new automated tests in this repository. It contains details about test selection, test structure, required setup, and validation steps.
원문 언어: 영어
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.
원문 언어: 영어