<testsuites name="results">
  <testsuite name="all" package="all">
    <property name="random_seed" value="1791688855" />
    <testcase name="reset_holds_led_low" classname="test_blinky_cocotb" file="/workspace/tb/test_blinky_cocotb.py" lineno="48" time="0.0016963481903076172" sim_time_ns="110.001" ratio_time="64845.76729501054" />
    <testcase name="led_rises_half_a_period_after_reset" classname="test_blinky_cocotb" file="/workspace/tb/test_blinky_cocotb.py" lineno="59" time="1.6863431930541992" sim_time_ns="327703.001" ratio_time="194327.58548186437" />
    <testcase name="led_toggles_with_a_full_period" classname="test_blinky_cocotb" file="/workspace/tb/test_blinky_cocotb.py" lineno="68" time="3.3440682888031006" sim_time_ns="655383.001" ratio_time="195983.7372922109" />
    <testcase name="reset_in_the_middle_restarts_the_count" classname="test_blinky_cocotb" file="/workspace/tb/test_blinky_cocotb.py" lineno="77" time="3.3446853160858154" sim_time_ns="655453.0009999999" ratio_time="195968.51095308925" />
    <testcase name="random_resets_match_the_model" classname="test_blinky_random" file="/workspace/tb/test_blinky_random.py" lineno="85" time="5.17177152633667" sim_time_ns="712215.0009999999" ratio_time="137712.00010927097" />
  </testsuite>
</testsuites>
