Validation of category-structure.yml is failing when cetfuzz adding
We are participating test-comp 2024. We are trying to add our tool cetfuzz to category-structure.yml. Validation procedure failing with following error. Please help us to resolve this issue. I am also adding modified catagory-structure.yml. category-structure.yml.
[0KRunning with gitlab-runner 16.3.0~beta.108.g2b6048b4 (2b6048b4)[0;m
[0K on green-3.saas-linux-small-amd64.runners-manager.gitlab.com/default Jhc_Jxvh, system ID: s_0e6850b2bce1[0;m
[0K feature flags: FF_USE_IMPROVED_URL_MASKING:true, FF_RESOLVE_FULL_TLS_CHAIN:false[0;m
section_start:1699115948:prepare_executor
[0K[0K[36;1mPreparing the "docker+machine" executor[0;m[0;m
[0KUsing Docker executor with image registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/python:latest ...[0;m
[0KAuthenticating with credentials from job payload (GitLab Registry)[0;m
[0KPulling docker image registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/python:latest ...[0;m
[0KUsing docker image sha256:cccda6e4606676ae95c14160859168e7dcee0f4e9fdffd730fb9bd43d45218c2 for registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/python:latest with digest registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/python@sha256:7a6a15dc10919674382241c7bafca2549edd57e808276123a96c8e32ed256b02 ...[0;m
section_end:1699115967:prepare_executor
[0Ksection_start:1699115967:prepare_script
[0K[0K[36;1mPreparing environment[0;m[0;m
Running on runner-jhcjxvh-project-51814859-concurrent-0 via runner-jhcjxvh-s-l-s-amd64-1699115906-f89ed43e...
section_end:1699115973:prepare_script
[0Ksection_start:1699115973:get_sources
[0K[0K[36;1mGetting source from Git repository[0;m[0;m
[32;1mFetching changes with git depth set to 50...[0;m
Initialized empty Git repository in /builds/Sarathkrishnan/bench-defs/.git/
[32;1mCreated fresh repository.[0;m
[32;1mChecking out 11c66635 as detached HEAD (ref is main)...[0;m
[32;1mSkipping Git submodules setup[0;m
[32;1m$ git remote set-url origin "${CI_REPOSITORY_URL}"[0;m
section_end:1699115974:get_sources
[0Ksection_start:1699115974:step_script
[0K[0K[36;1mExecuting "step_script" stage of the job script[0;m[0;m
[0KUsing docker image sha256:cccda6e4606676ae95c14160859168e7dcee0f4e9fdffd730fb9bd43d45218c2 for registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/python:latest with digest registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/python@sha256:7a6a15dc10919674382241c7bafca2549edd57e808276123a96c8e32ed256b02 ...[0;m
[32;1m$ git submodule sync[0;m
[32;1m$ git submodule update --depth 50 --init $REQUIRED_SUBMODULES[0;m
Submodule 'benchexec' (https://gitlab.com/sosy-lab/software/benchexec.git) registered for path 'benchexec'
Submodule 'scripts' (https://gitlab.com/sosy-lab/benchmarking/competition-scripts.git) registered for path 'scripts'
Submodule 'sv-benchmarks' (https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks.git) registered for path 'sv-benchmarks'
Cloning into '/builds/Sarathkrishnan/bench-defs/benchexec'...
Cloning into '/builds/Sarathkrishnan/bench-defs/scripts'...
Cloning into '/builds/Sarathkrishnan/bench-defs/sv-benchmarks'...
From https://gitlab.com/sosy-lab/software/benchexec
* branch b43e7384112770a41b571399135065daa7f387ab -> FETCH_HEAD
Submodule path 'benchexec': checked out 'b43e7384112770a41b571399135065daa7f387ab'
From https://gitlab.com/sosy-lab/benchmarking/competition-scripts
* branch e6f84b5a79626b4295108a0f96ea370edde1f023 -> FETCH_HEAD
Submodule path 'scripts': checked out 'e6f84b5a79626b4295108a0f96ea370edde1f023'
From https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks
* branch f87854c275a177e8dc3673fe6959cd89038652af -> FETCH_HEAD
Submodule path 'sv-benchmarks': checked out 'f87854c275a177e8dc3673fe6959cd89038652af'
[32;1m$ ./scripts/test/check-categories.py --tasks-directory sv-benchmarks --category-structure benchmark-defs/category-structure.yml --allow-unused coverage-error-call.ConcurrencySafety-Main[0;m
Traceback (most recent call last):
File "./scripts/test/check-categories.py", line 325, in <module>
sys.exit(main())
File "./scripts/test/check-categories.py", line 317, in main
for msg in errors:
File "./scripts/test/check-categories.py", line 215, in _check_witness_lint_categories
validators = set(category_info["categories"][category]["validators"])
KeyError: 'validators'
section_end:1699116272:step_script
[0Ksection_start:1699116272:cleanup_file_variables
[0K[0K[36;1mCleaning up project directory and file based variables[0;m[0;m
section_end:1699116273:cleanup_file_variables
[0K[31;1mERROR: Job failed: exit code 1
[0;m