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

Improve use of file names for tests in tests/runner #1010

Open
jjcnn opened this issue Jun 10, 2021 · 0 comments
Open

Improve use of file names for tests in tests/runner #1010

jjcnn opened this issue Jun 10, 2021 · 0 comments
Labels
Milestone

Comments

@jjcnn
Copy link
Contributor

jjcnn commented Jun 10, 2021

The naming scheme for expected output files of deployment tests (init_*_output.json) do not follow the naming scheme as the expected output files from other types of tests.

We could probably improve things by organising the tests files better - both input and output files are currently lumped together in a single directory, and some of the directories have a lot of tests in them. Plus, deployment tests and transition tests are lumped together in the same directory as well.

Another thing: We perform deployment tests both in IPC mode and non-IPC mode. However, the behaviour of those modes are not identical, and do not produce the same output. This should be fixed.

@jjcnn jjcnn added the tests label Jun 10, 2021
@jjcnn jjcnn added this to the Scilla 0.14.0 milestone Oct 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant