diff --git a/src/runtime/tests.rs b/src/runtime/tests.rs index a2a15b4fc3a328901f84ca4e7140de92f7f5c874..9f2ebd77a25dcda83743e116641e6988bd4eb341 100644 --- a/src/runtime/tests.rs +++ b/src/runtime/tests.rs @@ -276,6 +276,16 @@ fn connector_pair_nondet() { .unwrap(); } +#[test] +fn native_immediately_inconsistent() { + let test_log_path = Path::new("./logs/native_immediately_inconsistent"); + let mut c = file_logged_connector(0, test_log_path); + let [_, g] = c.new_port_pair(); + c.connect(Some(Duration::from_secs(1))).unwrap(); + c.get(g).unwrap(); + c.sync(Some(Duration::from_secs(30))).unwrap_err(); +} + #[test] fn cannot_use_moved_ports() { /*