New state machine bug: missing SM branch for CLIENT_AUTH | OCSP | FULL | NEGOTIATED
@@ -320,3 +320,30 @@ rfcTrace1 = traceRFC `{16} pars1
rfcTrace1A = map rfc2S2N rfcTrace1
s2nTrace1 = traceS2N `{16} conn1
+
+//bug 2: missing CLIENT_AUTH | OCSP | FULL | NEGOTIATED
+
+conn2 = {client_auth_flag = True,
+corked = 0,
+corked_io = 0,
+handshake = {handshake_type = 0,
+message_number = 0},
+is_caching_enabled = False,
+key_exchange_eph = False,
+mode = 0,
+resume_from_cache = False,
+server_can_send_ocsp = True}
+
+pars2 = {includeSessionTicket = False,
+keyExchange = 4,
+renewSessionTicket = False,
+requestClientCert = True,
+sendCertificateStatus = True,
+sessionTicket = False}
+
+rfcTrace2 = traceRFC `{16} pars2
+rfcTrace2A = map rfc2S2N rfcTrace2
+
+s2nTrace2 = traceS2N `{16} conn2
+
+conn2' = conn_set_handshake_type conn2
\ No newline at end of file
