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

new-testing-script feature requests #350

Open
zilinc opened this issue Feb 4, 2020 · 2 comments
Open

new-testing-script feature requests #350

zilinc opened this issue Feb 4, 2020 · 2 comments

Comments

@zilinc
Copy link

zilinc commented Feb 4, 2020

1

Run several tests at once. It requires extending the --only flag.

2

When the expected result is wip, the log doesn't tell me if the test has passed or failed.
E.g. Now it shows:

tests/func/wip_0-ary-function.cogent: WIP (Pass by defualt)

What I want is something like:

tests/func/wip_0-ary-function.cogent: passed (but ignored as it's WIP)

or

tests/func/wip_0-ary-function.cogent: failed (but ignored as it's WIP)
.......
.... ERROR LOG GOES HERE ...
.......

3

Tests expected to fail should fail in the stage the config file specifies. E.g., when I give expected_result: fail and -flags: -g, if a test fails at a different stage other than in code-generation, then it should signal it as a FAIL instead of a PASS.

4

Something which can tell me which files in the tests directory are not yet covered in any of the test scripts.

@emmet-m
Copy link
Contributor

emmet-m commented Feb 5, 2020

1. and 2. should be straightforward. 3. However will require the compiler to return a different error code per phase (or parse the stdout), which is more involved

@zilinc
Copy link
Author

zilinc commented Feb 5, 2020

1. and 2. should be straightforward. 3. However will require the compiler to return a different error code per phase (or parse the stdout), which is more involved

I'm happy with different error codes from the compiler.

zilinc pushed a commit that referenced this issue Feb 6, 2020
also see #350 for what's missing
[skip lemma]
@zilinc zilinc mentioned this issue Feb 6, 2020
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants