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?
akashlal
commented
1 year ago
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
regressionsfolder, 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!