| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Test.MLS
Synopsis
- testSendMessageNoReturnToSender :: HasCallStack => App ()
- testPastStaleApplicationMessage :: HasCallStack => Domain -> App ()
- testEpochZeroApplicationMessage :: HasCallStack => App ()
- testFutureStaleApplicationMessage :: HasCallStack => App ()
- testMixedProtocolUpgrade :: HasCallStack => Domain -> App ()
- testMixedProtocolNonTeam :: HasCallStack => Domain -> App ()
- testMixedProtocolAddUsers :: HasCallStack => Domain -> Ciphersuite -> App ()
- testMixedProtocolUserLeaves :: HasCallStack => Domain -> App ()
- testMixedProtocolAddPartialClients :: HasCallStack => Domain -> App ()
- testMixedProtocolRemovePartialClients :: HasCallStack => Domain -> App ()
- testMixedProtocolAppMessagesAreDenied :: HasCallStack => Domain -> App ()
- testMLSProtocolUpgrade :: HasCallStack => Domain -> App ()
- testAddUserSimple :: HasCallStack => Ciphersuite -> CredentialType -> App ()
- testRemoteAddUser :: HasCallStack => App ()
- testRemoteRemoveClient :: HasCallStack => Ciphersuite -> App ()
- testRemoteRemoveCreatorClient :: HasCallStack => Ciphersuite -> App ()
- testCreateSubConv :: HasCallStack => Ciphersuite -> App ()
- testCreateSubConvProteus :: App ()
- testSelfConversation :: Version5 -> App ()
- testFirstCommitAllowsPartialAdds :: HasCallStack => App ()
- testAddUserPartial :: HasCallStack => App ()
- testRemoveClientsIncomplete :: HasCallStack => App ()
- testAdminRemovesUserFromConv :: HasCallStack => Ciphersuite -> App ()
- testLocalWelcome :: HasCallStack => App ()
- testStaleCommit :: HasCallStack => App ()
- testBareProposalRejected :: HasCallStack => App ()
- testShadowConversation :: HasCallStack => App ()
- testShadowConversationDenied :: HasCallStack => App ()
- testCommitNotReferencingAllProposals :: HasCallStack => App ()
- testUnsupportedCiphersuite :: HasCallStack => App ()
- testBackendRemoveProposal :: HasCallStack => Ciphersuite -> Domain -> App ()
- testBackendRemoveProposalTeamConv :: HasCallStack => App ()
- testExternalCommitDuplicateClient :: HasCallStack => App ()
- testInternalCommitDuplicateClient :: HasCallStack => App ()
- testExternalCommitWrongSignatureKey :: HasCallStack => App ()
- testInternalCommitWrongSignatureKey :: HasCallStack => App ()
- testRemoteAddLegacy :: HasCallStack => AnyFedDomain -> App ()
- testInvalidLeafNodeSignature :: HasCallStack => App ()
- testGroupInfoMismatch :: HasCallStack => App ()
- testGroupInfoCheckDisabled :: HasCallStack => App ()
- testGroupInfoAlreadyBroken :: HasCallStack => App ()
- testAddUsersDirectlyShouldFail :: HasCallStack => App ()
- testGroupIdParseError :: HasCallStack => App ()
- testFederatedRemove :: HasCallStack => App ()
Documentation
testPastStaleApplicationMessage :: HasCallStack => Domain -> App () Source #
testMixedProtocolUpgrade :: HasCallStack => Domain -> App () Source #
testMixedProtocolNonTeam :: HasCallStack => Domain -> App () Source #
testMixedProtocolAddUsers :: HasCallStack => Domain -> Ciphersuite -> App () Source #
testMixedProtocolUserLeaves :: HasCallStack => Domain -> App () Source #
testMixedProtocolAddPartialClients :: HasCallStack => Domain -> App () Source #
testMixedProtocolRemovePartialClients :: HasCallStack => Domain -> App () Source #
testMixedProtocolAppMessagesAreDenied :: HasCallStack => Domain -> App () Source #
testMLSProtocolUpgrade :: HasCallStack => Domain -> App () Source #
testAddUserSimple :: HasCallStack => Ciphersuite -> CredentialType -> App () Source #
testRemoteAddUser :: HasCallStack => App () Source #
testRemoteRemoveClient :: HasCallStack => Ciphersuite -> App () Source #
testRemoteRemoveCreatorClient :: HasCallStack => Ciphersuite -> App () Source #
testCreateSubConv :: HasCallStack => Ciphersuite -> App () Source #
testCreateSubConvProteus :: App () Source #
testSelfConversation :: Version5 -> App () Source #
testFirstCommitAllowsPartialAdds :: HasCallStack => App () Source #
FUTUREWORK: Don't allow partial adds, not even in the first commit
testAddUserPartial :: HasCallStack => App () Source #
testRemoveClientsIncomplete :: HasCallStack => App () Source #
admin removes user from a conversation but doesn't list all clients
testAdminRemovesUserFromConv :: HasCallStack => Ciphersuite -> App () Source #
testLocalWelcome :: HasCallStack => App () Source #
testStaleCommit :: HasCallStack => App () Source #
testBareProposalRejected :: HasCallStack => App () Source #
testShadowConversation :: HasCallStack => App () Source #
testShadowConversationDenied :: HasCallStack => App () Source #
testUnsupportedCiphersuite :: HasCallStack => App () Source #
testBackendRemoveProposal :: HasCallStack => Ciphersuite -> Domain -> App () Source #
testBackendRemoveProposalTeamConv :: HasCallStack => App () Source #
Regression coverage for the conversation-enumeration order in
rmUser. On user deletion, leaveTeams runs before
goConvPages and strips the deleted user from every team conversation via
deleteUserFromTeamConversations. Before this fix, that path had no MLS step. Both that removal
and the subsequent conversation enumeration go through the
conversation_member table, so by the time leaveLocalConversations would
call removeUser, team conversations are no longer listed.
The non-team conversation is a control: it proves the deletion ran and that the backend signed a remove proposal in this run, which isolates the team-conversation path as the only difference between the two.
testRemoteAddLegacy :: HasCallStack => AnyFedDomain -> App () Source #
testInvalidLeafNodeSignature :: HasCallStack => App () Source #
testGroupInfoMismatch :: HasCallStack => App () Source #
testGroupInfoCheckDisabled :: HasCallStack => App () Source #
testGroupInfoAlreadyBroken :: HasCallStack => App () Source #
testAddUsersDirectlyShouldFail :: HasCallStack => App () Source #
testGroupIdParseError :: HasCallStack => App () Source #
testFederatedRemove :: HasCallStack => App () Source #