<testsuites name="results">
  <testsuite name="all" package="all">
    <property name="random_seed" value="1791688714" />
    <testcase name="reset_holds_led_low" classname="test_blinky_cocotb" file="/workspace/tb/test_blinky_cocotb.py" lineno="48" time="0.0022623538970947266" sim_time_ns="110.001" ratio_time="48622.36635093266" />
    <testcase name="led_rises_half_a_period_after_reset" classname="test_blinky_cocotb" file="/workspace/tb/test_blinky_cocotb.py" lineno="59" time="2.5084519386291504" sim_time_ns="327703.001" ratio_time="130639.53745874325" />
    <testcase name="led_toggles_with_a_full_period" classname="test_blinky_cocotb" file="/workspace/tb/test_blinky_cocotb.py" lineno="68" time="4.718066453933716" sim_time_ns="655383.001" ratio_time="138909.2348314786" />
    <testcase name="reset_in_the_middle_restarts_the_count" classname="test_blinky_cocotb" file="/workspace/tb/test_blinky_cocotb.py" lineno="77" time="3.5240769386291504" sim_time_ns="655453.0009999999" ratio_time="185992.81809521676" />
    <testcase name="random_resets_match_the_model" classname="test_blinky_random" file="/workspace/tb/test_blinky_random.py" lineno="85" time="5.517634868621826" sim_time_ns="800495.0009999999" ratio_time="145079.37187948512" />
  </testsuite>
</testsuites>
