11 lines
417 B
Rust
11 lines
417 B
Rust
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)));
|
|
}
|