toml generation guidelines doc #7

New Issue

manuel · 2024-11-17T09:36:09+08:00

manuel commented

2024-11-17 09:36:09 +08:00

define clear guidelines that can be used as defaults by conf-gen and used by TAs to know whether they need to override them

mem/cpu/score
specify "hidden" param (not supported in toml but available in json)
how to ensure toml is minimal, ie no redefinition of default param for each test case
how to define paths

note for paths definition in conf-gen:

basic info that we can easily get to define/use all paths:
- in toml define all path wrt $HOME/.config/joj
- find workflows yaml file and discover root-conf
always copyin and copyincached files in current dir (is there is corner case where it would create issues?)
set cases in taskdir/case0.in, eg. h3/ex4/case0.in or in a taskdir/cases dir, eg. h3/ex4/cases/case0.in. other files should be in taskdir (eg. extra source files) or assignmentdir, eg. files common to all exercises in a hw (eg. .clang-tidy)

define clear guidelines that can be used as defaults by conf-gen and used by TAs to know whether they need to override them - [x] mem/cpu/score - [x] specify "hidden" param (not supported in toml but available in json) - [x] how to ensure toml is minimal, ie no redefinition of default param for each test case - [x] how to define paths note for paths definition in conf-gen: - basic info that we can easily get to define/use all paths: - in toml define all path wrt `$HOME/.config/joj` - find workflows yaml file and discover root-conf - always copyin and copyincached files in current dir (is there is corner case where it would create issues?) - set cases in `taskdir/case0.in`, eg. `h3/ex4/case0.in` or in a `taskdir/cases` dir, eg. `h3/ex4/cases/case0.in`. other files should be in `taskdir` (eg. extra source files) or `assignmentdir`, eg. files common to all exercises in a hw (eg. `.clang-tidy`)

manuel added the

enhancement

label 2024-11-17 09:36:09 +08:00

manuel was assigned by 李衍志523370910113

2024-11-17 20:22:16 +08:00

李衍志523370910113 self-assigned this 2024-11-17 20:22:16 +08:00

李衍志523370910113 closed this issue

2025-05-25 17:00:15 +08:00

Sign in to join this conversation.