Files @ e7e7211531c8
Branch filter:

Location: CSY/reowolf/src/runtime2/tests/error_handling.rs

e7e7211531c8 938 B application/rls-services+xml Show Annotation Show as Raw Download as Raw
mh
Initial error-handling tests
use super::*;

#[test]
fn test_unconnected_component_error() {
    let pd = ProtocolDescription::parse(b"
    primitive interact_with_noone() {
        u8[] array = { 5 };
        auto value = array[1];
    }
    ").unwrap();
    let rt = Runtime::new(1, true, pd).unwrap();
    create_component(&rt, "", "interact_with_noone", no_args());
}

#[test]
fn test_connected_uncommunicating_component_error() {
    let pd = ProtocolDescription::parse(b"
    primitive crashing_and_burning(out<u32> unused) {
        u8[] array = { 1337 };
        auto value = array[1337];
    }
    primitive sitting_idly_waiting(in<u32> never_providing) {
        sync auto a = get(never_providing);
    }
    composite constructor() {
        channel a -> b;
        new sitting_idly_waiting(b);
        new crashing_and_burning(a);
    }").unwrap();
    let rt = Runtime::new(1, true, pd).unwrap();
    create_component(&rt, "", "constructor", no_args());
}