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