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");
}