use prometeu_vm::{VirtualMachine, VmInitError};

#[test]
fn invalid_image_format_is_rejected_before_execution() {
    // Provide bytes that are not a valid PBS image. The VM must reject it with InvalidFormat.
    let program_bytes = b"NOT_PBS_IMAGE".to_vec();
    let mut vm = VirtualMachine::default();
    let result = vm.initialize(program_bytes);
    assert!(matches!(result, Err(VmInitError::InvalidFormat)));
}