use PRECONDITION instead of assert(...) in verilog_expr.h#329

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

verilog-expr-assertdiffblue/hw-cbmc:verilog-expr-assertCopy head branch name to clipboard