Intrepid/prometeu-runtime
Intrepid/prometeu-runtime
4
0
Fork 0
Code Pull Requests Activity

clean up debugger platform tests

Browse Source
This commit is contained in:
bQUARKz 2026-06-15 11:59:09 +01:00
parent 9cf9fa6163
commit b4f7b4f3c0
Signed by: bquarkz
SSH Key Fingerprint: SHA256:Z7dgqoglWwoK6j6u4QC87OveEq74WOhFN+gitsxtkf8
1 changed files with 4 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
crates/host/prometeu-host-desktop-winit/src/debugger.rs
View File

@ -398,17 +398,13 @@ mod tests {
let mut firmware = Firmware::new(None); let mut firmware = Firmware::new(None);
let mut platform = TestPlatform::new(); let mut platform = TestPlatform::new();
debugger.handle_command(DebugCommand::Pause, &mut firmware, platform.local_hardware_mut()); debugger.handle_command(DebugCommand::Pause, &mut firmware, &mut platform);
assert!(firmware.os.vm().paused()); assert!(firmware.os.vm().paused());
debugger.handle_command(DebugCommand::Resume, &mut firmware, platform.local_hardware_mut()); debugger.handle_command(DebugCommand::Resume, &mut firmware, &mut platform);
assert!(!firmware.os.vm().paused()); assert!(!firmware.os.vm().paused());
debugger.handle_command( debugger.handle_command(DebugCommand::StepFrame, &mut firmware, &mut platform);
DebugCommand::StepFrame,
&mut firmware,
platform.local_hardware_mut(),
);
assert!(!firmware.os.vm().paused()); assert!(!firmware.os.vm().paused());
assert!(firmware.os.vm().debug_step_requested()); assert!(firmware.os.vm().debug_step_requested());
} }
@ -422,7 +418,7 @@ mod tests {
debugger.waiting_for_start = true; debugger.waiting_for_start = true;
firmware.os.vm().set_paused(true); firmware.os.vm().set_paused(true);
debugger.handle_command(DebugCommand::Start, &mut firmware, platform.local_hardware_mut()); debugger.handle_command(DebugCommand::Start, &mut firmware, &mut platform);
assert!(!debugger.waiting_for_start); assert!(!debugger.waiting_for_start);
assert!(!firmware.os.vm().paused()); assert!(!firmware.os.vm().paused());