Files
@ e7e7211531c8
Branch filter:
Location: CSY/reowolf/src/runtime2/tests/error_handling.rs - annotation
e7e7211531c8
938 B
application/rls-services+xml
Initial error-handling tests
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());
}
|