verilator/docs/gen/ex_USERERROR_faulty.rst

.. comment: generated by t_assert_comp_bad
.. code-block:: sv

       $error("User elaboration-time error");