lingua-franca icon indicating copy to clipboard operation
lingua-franca copied to clipboard

Published 20 hours ago • verified publisher icon lf-lang

Test for invalid states in CI

Open petervdonovan opened this issue 2 years ago • 1 comments

For C, Python, C++, and Rust, it might be a good idea to

  • run tests with assertions enabled (perhaps in debug mode)
  • run at least some tests through memcheck

Related: #1313, https://github.com/lf-lang/reactor-c/issues/24.

petervdonovan avatar Aug 02 '22 06:08 petervdonovan

Yes! Somehow I thought I already forced on the Debug mode for our C++ tests, but I also recently noticed that this isn't the case. Note that we can also use RelWithDebInfo as it also included the assertions.

I also like the idea of using memcheck. It slows down programs considerably, but our tests are also quite small, so it might not make much of a difference.

cmnrd avatar Aug 05 '22 08:08 cmnrd