PASS boot_disarmed
PASS alternate
PASS rest
PASS dry
PASS reset_requires_stopped
PASS pressure
PASS sensor_nan
PASS sensor_out_of_range
PASS stale
PASS start_failure_fallback
PASS both_fail
PASS stuck
PASS uncommanded
PASS dropout
PASS no_rise
PASS rise_check_once
PASS runtime
PASS manual_protected
PASS overload_fallback
PASS remote_rearm
PASS config
PASS pressure_switch
PASS boot_feedback
PASS manual_failure_no_transfer
PASS repaired_single_pump
PASS adversarial
26 scenarios passed
PASS rest_release_normal_delayed_release
PASS rest_release_automatic_start_failure
PASS rest_release_overload_delayed_release
PASS rest_release_manual_stop_rearm
PASS rest_release_remote_permission_restore_unarmed
PASS rest_release_release_timeout_no_transfer
PASS fault_latch_all_external_orders
PASS fault_latch_core_first_external_later
PASS fault_latch_external_first_core_later
PASS fault_latch_invalid_inhibit_no_mutation
PASS fault_latch_fault_cleared_only_stopped_reset
7 Modbus scenarios passed
Storage: config/statistics roundtrip, 69 torn-write offsets, CRC recovery, quantization, ring wrap, sequence rollover and I/O failure PASS
Protocol: telemetry, atomic settings, commands/permission/busy, EEPROM failure, event retrieval, malformed frames and 10000 fuzz ADUs PASS
PASS panel_nc_loss_and_local_stop_inputs
PASS startup_held_auto_requires_stable_release_and_new_press
PASS held_stop_blocks_enable_and_consumes_conflicting_edge
PASS debounce_rejects_short_press
PASS simultaneous_auto_reset_rejected
PASS debounce_across_millisecond_rollover
PASS all_startup_held_buttons_except_stop_inhibited
PASS target_pending_command_is_busy
PASS target_stop_overrides_and_remains_pending
PASS target_reads_preserve_command_queue
PASS target_pending_command_rejects_configuration
PASS target_intercharacter_gap_rejects_frame
PASS target_crc_drop_then_valid_recovery
PASS target_timer_wrap_frames
PASS target_tx_timeout_de_releases
PASS analog_midscale
PASS analog_vdda_compensation
PASS analog_independent_corrections
PASS analog_tolerance_clamp
PASS analog_open_overrange_unmasked
PASS analog_second_channel_fault
PASS analog_invalid_adc_reference
PASS analog_supply_out_of_window
PASS analog_nonfinite_calibration
PASS analog_excessive_calibration
target GPIO startup/register configuration + 8 one-hot DI + 4 STOP/run combinations PASS (register fake, not silicon)
PASS iwdg_lsi_off_start_before_update_wait
PASS iwdg_immediate_update
PASS iwdg_delayed_update_before_deadline
PASS iwdg_timer_wrap
PASS iwdg_window_explicitly_disabled
PASS iwdg_only_update_flags_waited
PASS iwdg_stuck_updates_timeout_no_reload
PASS iwdg_timeout_across_timer_wrap
PASS actual_main_iwdg_init_failure_off_no_feed_no_control_loop
PASS actual_main_normal_boot_unarmed_control_step_feeds
PASS actual_main_protocol_storage_failure_immediate_off
PASS actual_main_boot_storage_and_bor_fault_first_latched_reset_auto_rejected
PASS actual_main_dry_then_storage_fault_keeps_first_and_blocks_reset_auto
PASS actual_main_running_checkpoint_power_abort_restore_no_reset_auto_restart
PASS actual_main_power_falls_at_final_gpio_gate_never_energizes
PASS actual_main_fast_panel_stop_run_enable_permit_transients_restored_no_auto_restart
PASS target_adc_init_calibration_ready_configuration
PASS target_adc_calibration_timeout_bounded
PASS target_adc_ready_timeout_bounded
PASS target_adc_normal_pressure_level_vref_and_diagnostics
PASS target_adc_whole_group_102ms_rejected_and_sensor_fault_latched
PASS target_adc_whole_group_100ms_boundary
PASS target_adc_whole_group_age_across_ms_wrap
PASS target_adc_four_sgood_snapshot_positions_each_latched_stop
PASS target_adc_both_sgood_faults_accumulated
PASS target_adc_overrun_before_dr_rejected
PASS target_adc_overrun_at_dr_read_rejected_without_committing_value
PASS target_adc_eoc_without_single_channel_eos_rejected
PASS target_adc_channel_configuration_timeout
PASS target_adc_conversion_timeout_us_wrap_stop_requested
PASS target_adc_adc_failure_persists_until_board_restart
PASS target_adc_unexpected_busy_rejected_stop_requested
PASS target_adc_zero_vref_propagates_sensor_stop
PASS target_adc_invalid_factory_calibration_rejected
PASS target_adc_open_pressure_channel_propagates_stop
19 target ADC scenarios PASS; register/time model only, physical NOT_RUN
PASS target_eeprom_reset_and_candidate_timing
PASS target_eeprom_full_page_write_read_with_address_probe
PASS target_eeprom_multi_chunk_random_read
PASS target_eeprom_busy_nack_retries_then_ack
PASS target_eeprom_nack_delayed_stop_before_retry_without_reset
PASS target_eeprom_nack_missing_stop_shared_deadline_abort_no_retry
PASS target_eeprom_power_loss_during_nack_stop_wait_off
PASS target_eeprom_all_nack_shared7ms_budget
PASS target_eeprom_stalled_ack_probe_uses7ms_not12ms
PASS target_eeprom_ack_budget_across_us_wrap
PASS target_eeprom_initial_transfer12ms_timeout
PASS target_eeprom_three_errors_rejected_even_with_txis_ready
PASS target_eeprom_initial_nack_not_retried_as_write_cycle_busy
PASS target_eeprom_hard_error_in_ack_probe_not_retried
PASS target_eeprom_busy_bus_resets_without_new_start
PASS target_eeprom_power_bad_before_start_off_no_bus_start
PASS target_eeprom_power_loss_in_wait_immediate_model_off
PASS target_eeprom_power_loss_between_address_and_data_off
PASS target_eeprom_power_loss_during_ack_retry_off
PASS target_eeprom_16_final_power_mutual_exclusion_alarm_spare_combinations
PASS target_eeprom_page_range_overflow_and_pointer_validation
PASS target_eeprom_storage_failure_off_old_config_survives_model_restart
FASTOBS mode=0 port=A pin=9 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=A pin=8 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=2 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=10 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=11 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=8 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=9 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=14 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=15 off_us=1100 injected_us=1000 latency_us=100
PASS target_eeprom_nine_fast_inputs_during_successful_page_write_transient_latched
FASTOBS mode=1 port=A pin=9 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=A pin=8 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=2 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=10 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=11 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=8 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=9 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=14 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=15 off_us=1000 injected_us=1000 latency_us=0
PASS target_eeprom_nine_fast_inputs_during_stalled_txis_model_off_within100us
FASTOBS mode=2 port=A pin=9 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=A pin=8 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=2 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=10 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=11 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=8 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=9 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=14 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=15 off_us=1000 injected_us=1000 latency_us=0
PASS target_eeprom_nine_fast_inputs_during_ack_retry_delay_successful_storage
FASTOBS mode=3 port=A pin=9 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=A pin=8 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=2 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=10 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=11 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=8 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=9 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=14 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=15 off_us=1000 injected_us=1000 latency_us=0
PASS target_eeprom_nine_fast_inputs_during_delayed_nack_stop_successful_storage
26 target EEPROM scenarios PASS; register/time/power model only, physical NOT_RUN
PASS fast_inputs_4096_raw_flags_requests_power_alarm_combinations
PASS fast_inputs_256_transient_latch_merge_once_no_field_corruption
PASS fast_inputs_actual_control_stop_fault_and_per_pump_failover_semantics
test_actual_reference_current_used (test_calibration.Calibration) ... ok
test_cli_reject_preserves_previous_outputs (test_calibration.Calibration) ... ok
test_endpoint_fit_and_independent_middle (test_calibration.Calibration) ... ok
test_example_not_physical_evidence (test_calibration.Calibration) ... ok
test_faults_not_fitted_away (test_calibration.Calibration) ... ok
test_generated_header_compiles_and_corrects (test_calibration.Calibration) ... ok
test_incomplete_duplicate_or_noninteger_adc (test_calibration.Calibration) ... ok
test_intermediate_nonlinearity_rejected (test_calibration.Calibration) ... ok
test_nonfinite_and_duplicate_json_rejected (test_calibration.Calibration) ... ok
test_unstable_sample_rejected (test_calibration.Calibration) ... ok
test_armed_config_rejected_without_change (test_rtu_client.TargetInterop) ... ok
test_bad_crc_not_retried (test_rtu_client.TargetInterop) ... ok
test_config_transaction_and_readback (test_rtu_client.TargetInterop) ... ok
test_event_64bit_roundtrip (test_rtu_client.TargetInterop) ... ok
test_invalid_config_precision_rejected_before_write (test_rtu_client.TargetInterop) ... ok
test_pending_stop_config_rejected_without_change (test_rtu_client.TargetInterop) ... ok
test_queued_command_and_stop_priority (test_rtu_client.TargetInterop) ... ok
test_remote_disabled_rejects_enable_allows_stop (test_rtu_client.TargetInterop) ... ok
test_status_actual_target (test_rtu_client.TargetInterop) ... ok
test_timeout_write_outcome_unknown_no_retry (test_rtu_client.TargetInterop) ... ok
test_wrong_address_and_byte_count (test_rtu_client.TargetInterop) ... ok
test_boot_rest_prevents_restart_cycling (test_simulator.Integration) ... ok
test_boot_uptime_resets (test_simulator.Integration) ... ok
test_dry_reset_rearm (test_simulator.Integration) ... ok
test_dual_rotation_500_seconds (test_simulator.Integration) ... ok
test_failed_primary_transfers (test_simulator.Integration) ... ok
test_input_reject_out_of_range (test_simulator.Integration) ... ok
test_panel_stop_open_blocks_enable_and_restore_does_not_rearm (test_simulator.Integration) ... ok
test_persistent_stats_config_and_no_restart (test_simulator.Integration) ... ok
test_reboot_does_not_restore_arm (test_simulator.Integration) ... ok
test_records_exist (test_simulator.Integration) ... ok
test_settings_reject_nan (test_simulator.Integration) ... ok
test_settings_require_stopped (test_simulator.Integration) ... ok
test_storage_io_failure_forces_off (test_simulator.Integration) ... ok

----------------------------------------------------------------------
Ran 34 tests in 1.774s

OK
