Some regression tests are halting

Question

Some regression tests are halting

fabiopakk opened this issue 4 years ago · 3 comments

After upgrading many different dependencies in Viper, including ScalaTest, a few regression tests in ViperServer are halting in busy waiting state. They were temporarily commented out in file: src/test/scala/CoreServerTests.scala.

This issue is to address what's going on in such tests and to uncomment those tests.

Answer 1 · 2020-12-18T10:10:10.000Z

Thanks for the report. Seems that some of the timeouts in VSI are not working after a recent refactoring. I will take a closer look new week.

Answer 2 · 2021-03-09T15:08:35.000Z

@aterga what is the state on this? Has #30 reenabled all the problematic unit tests?

Answer 3 · 2021-04-15T19:56:13.000Z

The transition to AsyncFlatSpec solved this problem.