viperproject / viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.
Other
10 stars 17 forks source link

Some regression tests are halting #25

Closed fabiopakk closed 3 years ago

fabiopakk commented 3 years ago

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.

aterga commented 3 years ago

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.

ArquintL commented 3 years ago

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

aterga commented 3 years ago

The transition to AsyncFlatSpec solved this problem.