mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 10:11:27 +01:00
Simone Ballarin
4edbbcd0c0
Introduce accepted_guidelines.sh: a script to autogenerate the
configuration file accepted.ecl from docs/misra/rules.rst which enables
all accepted guidelines.
Introduce monitored.ecl: a manual selection of accepted guidelines
which are clean or almost clean, it is intended to be used for the
analyses triggered by commits.
Reorganize tagging.ecl:
-Remove "accepted" tags: keeping track of accepted guidelines tagging
them as "accepted" in the configuration file tagging.ecl is no
longer needed since docs/rules.rst is keeping track of them.
-Tag more guidelines as clean.
Reorganize eclair pipelines:
- Set1, Set2, Set3 are now obsolete: remove the corresponding
pipelines and ecl files.
- Amend scheduled eclair pipeline to use accepted.ecl.
- Amend triggered eclair pipeline to use monitored.ecl.
Rename and improve action_check_clean_regressions.sh to print a
diagnostic in case a commit introduces a violation of a clean guideline.
An example of diagnostic is the following:
Failure: 13 regressions found for clean guidelines
service MC3R1.R8.2: (required) Function types shall be in prototype form with named parameters:
violation: 13
Signed-off-by: Simone Ballarin <simone.ballarin@bugseng.com>
Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Signed-off-by: Alessandro Zucchelli <alessandro.zucchelli@bugseng.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
26 lines
939 B
Bash
Executable File
26 lines
939 B
Bash
Executable File
#!/bin/sh -eu
|
|
|
|
ECLAIR_ANALYSIS_DIR=automation/eclair_analysis
|
|
ECLAIR_DIR="${ECLAIR_ANALYSIS_DIR}/ECLAIR"
|
|
ECLAIR_OUTPUT_DIR=$(realpath "${ECLAIR_OUTPUT_DIR}")
|
|
|
|
"${ECLAIR_ANALYSIS_DIR}/prepare.sh" "${VARIANT}"
|
|
|
|
ex=0
|
|
"${ECLAIR_DIR}/analyze.sh" "${VARIANT}" "${RULESET}" || ex=$?
|
|
"${ECLAIR_DIR}/action_log.sh" ANALYSIS_LOG \
|
|
"ECLAIR analysis log" \
|
|
"${ECLAIR_OUTPUT_DIR}/ANALYSIS.log" \
|
|
"${ex}"
|
|
"${ECLAIR_DIR}/action_log.sh" REPORT_LOG \
|
|
"ECLAIR report log" \
|
|
"${ECLAIR_OUTPUT_DIR}/REPORT.log" \
|
|
"${ex}"
|
|
[ "${ex}" = 0 ] || exit "${ex}"
|
|
|
|
# Fail in case of new reports for clean guidelines
|
|
"${ECLAIR_DIR}/action_check_clean_regressions.sh" "${ECLAIR_OUTPUT_DIR}" || ex=$?
|
|
|
|
"${ECLAIR_DIR}/action_push.sh" "${WTOKEN}" "${ECLAIR_OUTPUT_DIR}"
|
|
[ "${ex}" = 0 ] || exit "${ex}"
|