diff --git a/tests/send_extra.cc b/tests/send_extra.cc index 409e3f0..65fe253 100644 --- a/tests/send_extra.cc +++ b/tests/send_extra.cc @@ -540,6 +540,17 @@ int main() test.execute( ExpectReset { true } ); } + // • Hunter Zhang: make_empty_message() should not return RST is true when reader().has_error() is false; + { + TCPConfig cfg; + const Wrap32 isn( rd() ); + cfg.isn = isn; + TCPSenderTestHarness test { "Stream error -> RST flag (when reader().has_error() == false)", cfg }; + test.execute( Push {} ); + test.execute( ExpectMessage {}.with_no_flags().with_syn( true ) ); + test.execute( ExpectReset { false } ); + } + // Sender must set RST iff stream has suffered an error { TCPConfig cfg;