Cambridge SMT System
|
Static variable for custom_assert. Include only once from main file. More...
#include "custom_assert.hpp"
Go to the source code of this file.
Static variable for custom_assert. Include only once from main file.
Definition in file main.custom_assert.hpp.