王韵晨520370910012
8176ea8c5e
This commit introduces a new key, `health-check.whitelisted-chars` for repo.toml. It allows TAs to configure repo-wide allowed non ASCII chars for the repo-health-checker binary. It results in a new command line switch, `-whitelisted-chars=X,Y,Z`, in the generated task.json. Co-Authored-By: GitHub Copilot <noreply@microsoft.com> <details> <summary>Copilot Prompt</summary> <br> This repository contains a Python app that does conversion from TOML config files to a complex, multistage JSON config file for an online judge system. For example, under `tests/convert/full`, input are the two TOML files `repo.toml` and `task.toml`, output is one JSON file `task,json`. Now, I want the repo-specific config (**repo.toml**) to accept an extra dotted key, "health-check.whitelisted-chars". This key shall accept an array of UTF-8 non-ASCII characters. To do so, I want you to - Model. Under `joj3_config_generator/models/repo.py`, add an extra field *whitelisted_chars* to class *HealthCheck*, identified by both "whitelisted-chars" and "whitelisted_chars"; - Transforming. Under `joj3_config_generator/transforers/repo.py`, translate the field to an additional command line switch `-whitelisted-chars`, comma-separated. - Other files you deem necessary, based on your understanding of this repo. IMPORTANT. Before you start, explore this repo to under the file structure and file-function relations. This repo uses the PDM package manager. After you finish your work, test your work appropriately. You should create new testcases under `tests/`. - Details: Read the output `task.json` after running the test, to verify whether the command line switch was added to the *Health Check* `stage` or not. </details> Reviewed-on: https://focs.ji.sjtu.edu.cn/git/JOJ/JOJ3-config-generator/pulls/29 Reviewed-by: 李衍志523370910113 <jon-lee@sjtu.edu.cn> Reviewed-by: 张泊明518370910136 <bomingzh@sjtu.edu.cn> Co-authored-by: Mack Wang <mac-wang@outlook.com> Co-committed-by: Mack Wang <mac-wang@outlook.com>
526 lines
20 KiB
JSON
526 lines
20 KiB
JSON
{
|
|
"name": "hw7 ex3",
|
|
"logPath": "/home/tt/.cache/joj3/hw7/joj3.log",
|
|
"actorCsvPath": "/home/tt/.config/joj/students.csv",
|
|
"sandboxExecServer": "172.17.0.1:5051",
|
|
"sandboxToken": "",
|
|
"outputPath": "/tmp/joj3_result.json",
|
|
"preStages": [],
|
|
"stages": [
|
|
{
|
|
"name": "Health Check",
|
|
"groups": [],
|
|
"executor": {
|
|
"name": "local",
|
|
"with": {
|
|
"default": {
|
|
"args": [],
|
|
"env": [
|
|
"PATH=/usr/bin:/bin:/usr/local/bin"
|
|
],
|
|
"stdin": {
|
|
"content": ""
|
|
},
|
|
"stdout": {
|
|
"name": "stdout",
|
|
"max": 33554432,
|
|
"pipe": true
|
|
},
|
|
"stderr": {
|
|
"name": "stderr",
|
|
"max": 33554432,
|
|
"pipe": true
|
|
},
|
|
"cpuLimit": 10000000000,
|
|
"clockLimit": 20000000000,
|
|
"memoryLimit": 268435456,
|
|
"stackLimit": 0,
|
|
"procLimit": 50,
|
|
"cpuRateLimit": 0,
|
|
"cpuSetLimit": "",
|
|
"copyIn": {},
|
|
"copyInCached": {},
|
|
"copyInDir": ".",
|
|
"copyOut": [
|
|
"stdout",
|
|
"stderr"
|
|
],
|
|
"copyOutCached": [],
|
|
"copyOutMax": 0,
|
|
"copyOutDir": "",
|
|
"tty": false,
|
|
"strictMemoryLimit": false,
|
|
"dataSegmentLimit": false,
|
|
"addressSpaceLimit": false
|
|
},
|
|
"cases": [
|
|
{
|
|
"args": [
|
|
"/usr/local/bin/repo-health-checker",
|
|
"-root=.",
|
|
"-repoSize=10.0",
|
|
"-meta=README.md",
|
|
"-meta=Changelog.md",
|
|
"-whitelistedChars=あ,い,う,え,お",
|
|
"-checkFileSumList=b1bbad25b830db0a77b15a033f9ca1b7ab44c1d2d05056412bd3e4421645f0bf,2ba059f3977e2e3dee6cacbfbf0ba2578baa1b8e04b4977aec400868b6e49856,3db23f7fb2ca9814617e767ddc41b77073180b3b0b73e87b5f2a6d3129f88f3a,a5b63323a692d3d8b952442969649b4f823d58dae26429494f613df160710dfc",
|
|
"-checkFileNameList=.gitattributes,.gitea/workflows/push.yaml,.gitea/workflows/release.yaml,.gitignore"
|
|
]
|
|
},
|
|
{
|
|
"args": [
|
|
"/usr/local/bin/joint-teapot",
|
|
"joj3-check-env",
|
|
"/home/tt/.config/teapot/teapot.env",
|
|
"--grading-repo-name",
|
|
"JOJ3-config-generator",
|
|
"--scoreboard-filename",
|
|
"scoreboard-hw7.csv",
|
|
"--group-config",
|
|
"joj=1000:24,run=100:1",
|
|
"--begin-time",
|
|
"2024-12-29T23:59:59",
|
|
"--end-time",
|
|
"2024-12-30T23:59:59",
|
|
"--penalty-config",
|
|
"24.0=0.75,48.0=0.5,72.0=0.25"
|
|
],
|
|
"env": [
|
|
"REPOS_DIR=/home/tt/.cache",
|
|
"LOG_FILE_PATH=/home/tt/.cache/joint-teapot-debug.log"
|
|
]
|
|
}
|
|
]
|
|
}
|
|
},
|
|
"parsers": [
|
|
{
|
|
"name": "healthcheck",
|
|
"with": {
|
|
"score": 0
|
|
}
|
|
},
|
|
{
|
|
"name": "debug",
|
|
"with": {}
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"name": "Generate yes.txt [no]",
|
|
"groups": [
|
|
"run",
|
|
"no"
|
|
],
|
|
"executor": {
|
|
"name": "sandbox",
|
|
"with": {
|
|
"default": {
|
|
"args": [
|
|
"sh",
|
|
"-c",
|
|
"yes | head -n 10 > yes.txt"
|
|
],
|
|
"env": [
|
|
"PATH=/usr/bin:/bin:/usr/local/bin",
|
|
"THE_ANSWER=42"
|
|
],
|
|
"stdin": {
|
|
"content": ""
|
|
},
|
|
"stdout": {
|
|
"name": "stdout",
|
|
"max": 33554432,
|
|
"pipe": true
|
|
},
|
|
"stderr": {
|
|
"name": "stderr",
|
|
"max": 33554432,
|
|
"pipe": true
|
|
},
|
|
"cpuLimit": 1000000000,
|
|
"clockLimit": 2000000000,
|
|
"memoryLimit": 268435456,
|
|
"stackLimit": 0,
|
|
"procLimit": 50,
|
|
"cpuRateLimit": 0,
|
|
"cpuSetLimit": "",
|
|
"copyIn": {
|
|
"tools/filelength": {
|
|
"src": "/home/tt/.config/joj/tools/filelength"
|
|
},
|
|
"h7/Makefile": {
|
|
"src": "/home/tt/.config/joj/tools/Makefile"
|
|
}
|
|
},
|
|
"copyInCached": {},
|
|
"copyInDir": ".",
|
|
"copyOut": [
|
|
"stdout",
|
|
"stderr"
|
|
],
|
|
"copyOutCached": [
|
|
"yes.txt"
|
|
],
|
|
"copyOutMax": 0,
|
|
"copyOutDir": "",
|
|
"tty": false,
|
|
"strictMemoryLimit": false,
|
|
"dataSegmentLimit": false,
|
|
"addressSpaceLimit": false
|
|
},
|
|
"cases": [
|
|
{
|
|
"stdin": {
|
|
"src": "/home/tt/.config/joj/full/cases/case0.in"
|
|
}
|
|
},
|
|
{
|
|
"stdin": {
|
|
"src": "/home/tt/.config/joj/full/cases/case1.in"
|
|
}
|
|
},
|
|
{
|
|
"stdin": {
|
|
"src": "/home/tt/.config/joj/full/cases/case2.in"
|
|
},
|
|
"cpuLimit": 2000000000,
|
|
"memoryLimit": 536870912
|
|
},
|
|
{
|
|
"stdin": {
|
|
"src": "/home/tt/.config/joj/full/other/cases/case3.in"
|
|
}
|
|
}
|
|
]
|
|
}
|
|
},
|
|
"parsers": [
|
|
{
|
|
"name": "result-status",
|
|
"with": {
|
|
"score": 0,
|
|
"comment": "Congrats! There is a yes.txt file generated!",
|
|
"forceQuitOnNotAccepted": true
|
|
}
|
|
},
|
|
{
|
|
"name": "result-detail",
|
|
"with": {
|
|
"score": 0,
|
|
"comment": "",
|
|
"showExxecutorStatus": true,
|
|
"showExitStatus": true,
|
|
"showError": false,
|
|
"showTime": true,
|
|
"showMemory": true,
|
|
"showRuntime": true,
|
|
"showProcPeak": false,
|
|
"showFiles": [],
|
|
"filesInCodeBlock": true,
|
|
"maxFileLength": 2048
|
|
}
|
|
},
|
|
{
|
|
"name": "keyword",
|
|
"with": {
|
|
"score": 0,
|
|
"matches": [
|
|
{
|
|
"keywords": [
|
|
"aaa"
|
|
],
|
|
"score": 20
|
|
},
|
|
{
|
|
"keywords": [
|
|
"bbb"
|
|
],
|
|
"score": 10
|
|
},
|
|
{
|
|
"keywords": [
|
|
"ccc"
|
|
],
|
|
"score": 5
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"name": "clangtidy",
|
|
"with": {
|
|
"score": 0,
|
|
"matches": [
|
|
{
|
|
"keywords": [
|
|
"clang-diagnostic",
|
|
"clang-analyzer",
|
|
"misc",
|
|
"performance",
|
|
"portability"
|
|
],
|
|
"score": 5
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"name": "cppcheck",
|
|
"with": {
|
|
"score": 0,
|
|
"matches": [
|
|
{
|
|
"keywords": [
|
|
"error"
|
|
],
|
|
"score": 15
|
|
},
|
|
{
|
|
"keywords": [
|
|
"warning",
|
|
"portability",
|
|
"performance",
|
|
"style"
|
|
],
|
|
"score": 5
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"name": "cpplint",
|
|
"with": {
|
|
"score": 0,
|
|
"matches": [
|
|
{
|
|
"keywords": [
|
|
"runtime"
|
|
],
|
|
"score": 5
|
|
},
|
|
{
|
|
"keywords": [
|
|
"readability"
|
|
],
|
|
"score": 20
|
|
},
|
|
{
|
|
"keywords": [
|
|
"build"
|
|
],
|
|
"score": 10
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"name": "elf",
|
|
"with": {
|
|
"score": 0,
|
|
"matches": [
|
|
{
|
|
"keywords": [
|
|
"Parentheses"
|
|
],
|
|
"score": 100
|
|
},
|
|
{
|
|
"keywords": [
|
|
"Length"
|
|
],
|
|
"score": 300
|
|
},
|
|
{
|
|
"keywords": [
|
|
"Arity"
|
|
],
|
|
"score": 50
|
|
},
|
|
{
|
|
"keywords": [
|
|
"Repetitive"
|
|
],
|
|
"score": 80
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"name": "diff",
|
|
"with": {
|
|
"name": "diff",
|
|
"cases": [
|
|
{
|
|
"outputs": [
|
|
{
|
|
"score": 5,
|
|
"filename": "stdout",
|
|
"answerPath": "/home/tt/.config/joj/full/cases/case0.out",
|
|
"compareSpace": false,
|
|
"alwaysHide": false,
|
|
"forceQuitOnDiff": false,
|
|
"maxDiffLength": 2048,
|
|
"maxDiffLines": 50,
|
|
"hideCommonPrefix": false
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"outputs": [
|
|
{
|
|
"score": 5,
|
|
"filename": "stdout",
|
|
"answerPath": "/home/tt/.config/joj/full/cases/case1.out",
|
|
"compareSpace": false,
|
|
"alwaysHide": false,
|
|
"forceQuitOnDiff": false,
|
|
"maxDiffLength": 2048,
|
|
"maxDiffLines": 50,
|
|
"hideCommonPrefix": false
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"outputs": [
|
|
{
|
|
"score": 5,
|
|
"filename": "stdout",
|
|
"answerPath": "/home/tt/.config/joj/full/cases/case2.out",
|
|
"compareSpace": false,
|
|
"alwaysHide": false,
|
|
"forceQuitOnDiff": false,
|
|
"maxDiffLength": 2048,
|
|
"maxDiffLines": 50,
|
|
"hideCommonPrefix": false
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"outputs": [
|
|
{
|
|
"score": 5,
|
|
"filename": "stdout",
|
|
"answerPath": "/home/tt/.config/joj/full/other/cases/case3.out",
|
|
"compareSpace": false,
|
|
"alwaysHide": false,
|
|
"forceQuitOnDiff": false,
|
|
"maxDiffLength": 2048,
|
|
"maxDiffLines": 50,
|
|
"hideCommonPrefix": false
|
|
}
|
|
]
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"name": "dummy",
|
|
"with": {
|
|
"score": 0,
|
|
"comment": "",
|
|
"forceQuit": false
|
|
}
|
|
},
|
|
{
|
|
"name": "debug",
|
|
"with": {}
|
|
}
|
|
]
|
|
}
|
|
],
|
|
"postStages": [
|
|
{
|
|
"name": "teapot",
|
|
"groups": [],
|
|
"executor": {
|
|
"name": "local",
|
|
"with": {
|
|
"default": {
|
|
"args": [
|
|
"/usr/local/bin/joint-teapot",
|
|
"joj3-all-env",
|
|
"/home/tt/.config/teapot/teapot.env",
|
|
"--grading-repo-name",
|
|
"JOJ3-config-generator",
|
|
"--max-total-score",
|
|
"100",
|
|
"--issue-label-name",
|
|
"Kind/Testing",
|
|
"--issue-label-color",
|
|
"#795548",
|
|
"--scoreboard-filename",
|
|
"scoreboard-hw7.csv",
|
|
"--scoreboard-column-by-ref",
|
|
"--end-time",
|
|
"2024-12-30T23:59:59",
|
|
"--penalty-config",
|
|
"24.0=0.75,48.0=0.5,72.0=0.25"
|
|
],
|
|
"env": [
|
|
"REPOS_DIR=/home/tt/.cache",
|
|
"LOG_FILE_PATH=/home/tt/.cache/joint-teapot-debug.log"
|
|
],
|
|
"stdin": {
|
|
"content": ""
|
|
},
|
|
"stdout": {
|
|
"name": "stdout",
|
|
"max": 33554432,
|
|
"pipe": true
|
|
},
|
|
"stderr": {
|
|
"name": "stderr",
|
|
"max": 33554432,
|
|
"pipe": true
|
|
},
|
|
"cpuLimit": 30000000000,
|
|
"clockLimit": 60000000000,
|
|
"memoryLimit": 268435456,
|
|
"stackLimit": 0,
|
|
"procLimit": 50,
|
|
"cpuRateLimit": 0,
|
|
"cpuSetLimit": "",
|
|
"copyIn": {},
|
|
"copyInCached": {},
|
|
"copyInDir": ".",
|
|
"copyOut": [
|
|
"stdout",
|
|
"stderr"
|
|
],
|
|
"copyOutCached": [],
|
|
"copyOutMax": 0,
|
|
"copyOutDir": "",
|
|
"tty": false,
|
|
"strictMemoryLimit": false,
|
|
"dataSegmentLimit": false,
|
|
"addressSpaceLimit": false
|
|
},
|
|
"cases": []
|
|
}
|
|
},
|
|
"parsers": [
|
|
{
|
|
"name": "log",
|
|
"with": {
|
|
"filename": "stdout",
|
|
"msg": "joj3 summary",
|
|
"level": -4
|
|
}
|
|
},
|
|
{
|
|
"name": "log",
|
|
"with": {
|
|
"filename": "stderr",
|
|
"msg": "joint-teapot stderr",
|
|
"level": 0
|
|
}
|
|
},
|
|
{
|
|
"name": "debug",
|
|
"with": {}
|
|
}
|
|
]
|
|
}
|
|
]
|
|
}
|