Skip to content

Commit

Permalink
Improve Jenkinsfile for autograding.
Browse files Browse the repository at this point in the history
  • Loading branch information
uhafner committed Dec 7, 2023
1 parent c59023f commit 59328e1
Showing 1 changed file with 81 additions and 26 deletions.
107 changes: 81 additions & 26 deletions etc/Jenkinsfile.autograding
Original file line number Diff line number Diff line change
Expand Up @@ -42,33 +42,88 @@ node {

stage ('Autograding') {
autoGrade('''
{
"analysis": {
"maxScore": 100,
"errorImpact": -5,
"highImpact": -2,
"normalImpact": -1,
"lowImpact": -1
},
"tests": {
"maxScore": 100,
"passedImpact": 0,
"failureImpact": -5,
"skippedImpact": -1
},
"coverage": {
"maxScore": 100,
"coveredPercentageImpact": 0,
"missedPercentageImpact": -1
},
"pit": {
"maxScore": 100,
"detectedImpact": 0,
"undetectedImpact": 0,
"detectedPercentageImpact": 0,
"undetectedPercentageImpact": -1
{
"tests": {
"tools": [
{
"name": "Tests"
}
],
"name": "JUnit",
"passedImpact": 0,
"skippedImpact": -1,
"failureImpact": -5,
"maxScore": 100
},
"analysis": [
{
"name": "Style",
"id": "style",
"tools": [
{
"id": "checkstyle",
"name": "CheckStyle"
},
{
"id": "pmd",
"name": "PMD"
}
],
"errorImpact": -1,
"highImpact": -1,
"normalImpact": -1,
"lowImpact": -1,
"maxScore": 100
},
{
"name": "Bugs",
"id": "bugs",
"icon": "bug",
"tools": [
{
"id": "spotbugs",
"name": "SpotBugs"
}
],
"errorImpact": -3,
"highImpact": -3,
"normalImpact": -3,
"lowImpact": -3,
"maxScore": 100
}
],
"coverage": [
{
"tools": [
{
"id": "coverage",
"name": "Line Coverage",
"metric": "line"
},
{
"id": "jacoco",
"name": "Branch Coverage",
"metric": "branch"
}
],
"name": "Code Coverage",
"maxScore": 100,
"missedPercentageImpact": -1
},
{
"tools": [
{
"id": "pit",
"name": "Mutation Coverage",
"metric": "mutation"
}
],
"name": "Mutation Coverage",
"maxScore": 100,
"missedPercentageImpact": -1
}
]
}
}
''')
}
}

0 comments on commit 59328e1

Please sign in to comment.