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.

Sign up for GitHub

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

Jump to bottom

Which tests should we run in CI? #164

Open
rakamaric opened this issue Mar 8, 2023 · 1 comment
Open

Which tests should we run in CI? #164

rakamaric opened this issue Mar 8, 2023 · 1 comment
Labels
question

Comments

@rakamaric
Copy link
Contributor

So @Dargones and I are slowly taking up the big task of updating Corral to the latest Boogie version.

Hence, we started looking into which tests we should be running while doing this (and in our CI) to make sure we are not breaking anything. Currently, the CI is running only the tests in the regressions folder, but there are a bunch of other folders in the test folder that are maybe important/relevant.

@akashlal could you maybe shed some light on which tests are not deprecated and should still be supported going forward so that we can clean up and update testing accordingly?

Thanks in advance!
@akashlal
Copy link
Contributor

I have replied on PR #163

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
question
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@akashlal @rakamaric