Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[CN-exec] Explain how to run and debug CI failures in ONBOARDING.md #546

Open
dc-mak opened this issue Aug 28, 2024 · 0 comments
Open

[CN-exec] Explain how to run and debug CI failures in ONBOARDING.md #546

dc-mak opened this issue Aug 28, 2024 · 0 comments
Assignees
Labels
CN spec testing cn CN-exec Related to CN executable spec generation, called using `cn instrument` documentation Improvements or additions to documentation

Comments

@dc-mak
Copy link
Contributor

dc-mak commented Aug 28, 2024

If you look in the workflow file, you'll find the command: https://github.com/rems-project/cerberus/actions/runs/10599783302/workflow?pr=522#L85 : cd tests && ./run-cn-exec.sh

Before running the file, you can open it to see timeout 20 "${CHECK_SCRIPT}" "${SCRIPT_OPT}" "$file" &> /dev/null called in a function which is called in a loop. Alternatively, you can uncomment set -xv for debugging and run the file itself.

It will produce a bunch of output, including something like /home/dhruv/.opam/4.14.1/lib/cn/runtime/libexec/cn-runtime-single-file.sh -oq tests/cn/missing_resource_indirect.error.c which can be simplified down to
${OPAM_SWITCH_PREFIX}/lib/cn/runtime/libexec/cn-runtime-single-file.sh -oq tests/cn/missing_resource_indirect.error.c
or
./runtime/libcn/libexec/cn-runtime-single-file.sh -oq tests/cn/missing_resource_indirect.error.c

Originally posted by @dc-mak in #522 (comment)

@dc-mak dc-mak added the cn label Aug 28, 2024
@yav yav added the documentation Improvements or additions to documentation label Sep 5, 2024
@dc-mak dc-mak changed the title [CN-exec] Explain how to run and debug CI failiures in ONBOARDING.md [CN-exec] Explain how to run and debug CI failures in ONBOARDING.md Nov 5, 2024
@rbanerjee20 rbanerjee20 added the CN-exec Related to CN executable spec generation, called using `cn instrument` label Nov 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CN spec testing cn CN-exec Related to CN executable spec generation, called using `cn instrument` documentation Improvements or additions to documentation
Projects
None yet
Development

No branches or pull requests

3 participants