test_accelerate_every_four_ticks (test_model.ModelTests.test_accelerate_every_four_ticks) ... ok
test_brake_every_two_ticks (test_model.ModelTests.test_brake_every_two_ticks) ... ok
test_c_choice_not_same_ranking (test_model.ModelTests.test_c_choice_not_same_ranking) ... ok
test_counter_resets_and_speed_holds (test_model.ModelTests.test_counter_resets_and_speed_holds) ... ok
test_course_valid_positive_and_unique_sockets (test_model.ModelTests.test_course_valid_positive_and_unique_sockets) ... ok
test_every_bank_route_and_policy_finishes (test_model.ModelTests.test_every_bank_route_and_policy_finishes) ... ok
test_finish_exact_and_overshoot (test_model.ModelTests.test_finish_exact_and_overshoot) ... ok
test_finite_seeds (test_model.ModelTests.test_finite_seeds) ... ok
test_hashes_separate_fold_width_seed (test_model.ModelTests.test_hashes_separate_fold_width_seed) ... ok
test_initial_stationary_without_throttle (test_model.ModelTests.test_initial_stationary_without_throttle) ... ok
test_invalid_is_no_time (test_model.ModelTests.test_invalid_is_no_time) ... ok
test_new_narrow_shoulder_on_entry (test_model.ModelTests.test_new_narrow_shoulder_on_entry) ... ok
test_replay_cross_process_and_paused_draws (test_model.ModelTests.test_replay_cross_process_and_paused_draws) ... ok
test_replay_tamper_rejected (test_model.ModelTests.test_replay_tamper_rejected) ... ok
test_shoulder_clamp_one_contact_per_tick (test_model.ModelTests.test_shoulder_clamp_one_contact_per_tick) ... ok
test_split_boundary_curve (test_model.ModelTests.test_split_boundary_curve) ... ok
test_width_one_change_same_goals (test_model.ModelTests.test_width_one_change_same_goals) ... ok
test_zero_velocity_shoulder (test_model.ModelTests.test_zero_velocity_shoulder) ... ok
test_confirmation_freezes (test_ui.UITests.test_confirmation_freezes) ... ok
test_fold_animation_updates_release (test_ui.UITests.test_fold_animation_updates_release) ... ok
test_hold_across_resume_does_not_drive (test_ui.UITests.test_hold_across_resume_does_not_drive) ... ok
test_pause_release_latch (test_ui.UITests.test_pause_release_latch) ... ok
test_selection_forbidden_while_racing (test_ui.UITests.test_selection_forbidden_while_racing) ... ok
test_simultaneous_opposites_cancel (test_ui.UITests.test_simultaneous_opposites_cancel) ... ok
test_start_gates_staggered_throttle (test_ui.UITests.test_start_gates_staggered_throttle) ... ok
test_terminal_retry_gate_and_ghost_key (test_ui.UITests.test_terminal_retry_gate_and_ghost_key) ... ok

----------------------------------------------------------------------
Ran 26 tests in 0.254s

OK
