Skip to content

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

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

[Question][Hw1] Adding custom testcase #145

Closed
uk-jeong opened this issue Sep 10, 2023 · 1 comment
Closed

[Question][Hw1] Adding custom testcase #145

uk-jeong opened this issue Sep 10, 2023 · 1 comment

Comments

@uk-jeong
Copy link

Name: JeongUk Lee

I created several custom test cases (example_customX.c/.input/.expected) in order to increase my code coverage.
However, these test cases are not being included in the "make coverage" command.
When I include these test cases in the test/dune file, the coverage points increase.
Should I modify the test/dune file, or am I missing something?

@goodtaeeun
Copy link
Contributor

Yes, you need to modify the test/dune file accordingly to the new test cases.

@KihongHeo KihongHeo reopened this May 30, 2024
@KihongHeo KihongHeo added the Q&A label May 31, 2024
@prosyslab-classroom prosyslab-classroom locked and limited conversation to collaborators May 31, 2024
@KihongHeo KihongHeo converted this issue into discussion #287 May 31, 2024

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants