Files
@ d7f29db22526
Branch filter:
Location: CSY/reowolf/src/runtime2/tests/error_handling.rs - annotation
d7f29db22526
938 B
application/rls-services+xml
Default handling of attempting a 'get' on a port
e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 e7e7211531c8 | 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());
}
|