@@ -13,6 +13,9 @@ use super::Dispatcher;
1313use super :: ListenerBackend ;
1414use super :: SharedSessions ;
1515use crate :: AddPeerError ;
16+ use mg_common:: parse;
17+ use mg_common:: read_lock;
18+ use mg_common:: sockaddr;
1619use proptest:: collection:: vec;
1720use proptest:: prelude:: * ;
1821use proptest:: sample:: select;
@@ -63,9 +66,9 @@ impl ListenerBackend for FakeBackend {
6366// IPs/ports are arbitrary.
6467fn arb_listen_addr ( ) -> impl Strategy < Value = SocketAddr > {
6568 let addrs = vec ! [
66- "127.0.0.1:3784" . parse ( ) . unwrap ( ) ,
67- "127.0.0.1:4784" . parse ( ) . unwrap ( ) ,
68- "192.0.2.1:3784" . parse ( ) . unwrap ( ) ,
69+ sockaddr! ( "127.0.0.1:3784" ) ,
70+ sockaddr! ( "127.0.0.1:4784" ) ,
71+ sockaddr! ( "192.0.2.1:3784" ) ,
6972 ] ;
7073 select ( addrs)
7174}
@@ -146,7 +149,7 @@ fn check_invariants(dispatcher: &Dispatcher, model: &Model) {
146149 // that address, and no listener is empty.
147150 for ( addr, listener) in & dispatcher. listeners {
148151 let actual: BTreeSet < IpAddr > =
149- listener. sessions . read ( ) . unwrap ( ) . keys ( ) . copied ( ) . collect ( ) ;
152+ read_lock ! ( listener. sessions) . keys ( ) . copied ( ) . collect ( ) ;
150153 let expected: BTreeSet < IpAddr > = model
151154 . peer_to_addr
152155 . iter ( )
0 commit comments