mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Raise SIGABRT when assert fails

Browse source
This commit is contained in:
Akash Levy 2024-12-17 09:58:54 -08:00
parent 3bc826f0ea
commit 0757e27683
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
kernel/log.h
View file

@ -220,7 +220,11 @@ void log_cell(RTLIL::Cell *cell, std::string indent = "");
void log_wire(RTLIL::Wire *wire, std::string indent = "");
static inline void log_assert_worker(bool cond, const char *expr, const char *file, int line) {
if (!cond) log_error("Assert `%s' failed in %s:%d.\n", expr, file, line);
if (!cond) {
log("ERROR: Assert `%s' failed in %s:%d.\n", expr, file, line);
log_flush();
raise(SIGABRT);
}
}
#ifndef NDEBUG
# define log_assert(_assert_expr_) YOSYS_NAMESPACE_PREFIX log_assert_worker(_assert_expr_, #_assert_expr_, __FILE__, __LINE__)