Skip to main content

Module assert_buffer

veryl_simulator

Module assert_buffer 

Source
Expand description

Thread-local buffer for $assert / $assert_continue failures.

Using a thread-local lets the combinational evaluation path record failures without panicking.

Functionsยง

has_fatal
record_continue
record_fatal
reset
take_failure