Home/ Questions/Q 7533663
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-05-30T05:47:24+00:00

I’ve been adding a module to http://minisat.se/MiniSat.html package. I had a bunch of asserts

  • 0

I’ve been adding a module to http://minisat.se/MiniSat.html package. I had a bunch of asserts that I now realize are neither getting triggered nor even compiled. How it can be? I searched the net for “masked asserts”, but no clue. Can it be that the make rules for the package somehow remove the assertions? Even assert(0) was not causing the program to SIGABORT…

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    Check your preprocessor settings. When NDEBUG (i.e. -DNDEBUG on the compiler commandline) is defined, all asserts will be removed.

    • 0