specless.specification.timed\_partial\_order.generate\_random\_timed\_trace
===========================================================================

.. currentmodule:: specless.specification.timed_partial_order

.. autofunction:: generate_random_timed_trace