Files
@ a4ae7002404f
Branch filter:
Location: CSY/reowolf/src/runtime2/tests/error_handling.rs - annotation
a4ae7002404f
938 B
application/rls-services+xml
Handle post-ClosePort errors
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());
}
|