21 lines
512 B
Rust
21 lines
512 B
Rust
extern crate rustijvm;
|
|
|
|
use std::io::{Seek, SeekFrom, Read};
|
|
|
|
#[test]
|
|
fn advanced4_tanenbaum() {
|
|
let rc = rustijvm::stubs::output_stub();
|
|
let mut machine = rustijvm::machine::Machine::new_from_file("files/advanced/Tanenbaum.ijvm").unwrap();
|
|
|
|
machine.set_output(rc.clone());
|
|
machine.run().unwrap();
|
|
|
|
let mut out = rc.lock().unwrap();
|
|
let mut string = String::new();
|
|
|
|
out.seek(SeekFrom::Start(0)).unwrap();
|
|
out.read_to_string(&mut string).unwrap();
|
|
|
|
assert_eq!(string, "OK");
|
|
}
|