<s> mailbox . check_empty ( ) <EOL> with frontend . signin ( "<STR_LIT>" ) : <EOL> to_alice = testing . mailbox . ToRecipient ( "<STR_LIT>" ) <EOL> to_bob = testing . mailbox . ToRecipient ( "<STR_LIT>" ) <EOL> frontend . operation ( <EOL> "<STR_LIT>" , <EOL> data = { "<STR_LIT>" : [ { "<STR_LIT:to>" : [ "<STR_LIT>" , "<STR_LIT>" ] , <EOL> "<STR_LIT>" : "<STR_LIT>" , <EOL> "<STR_LIT:body>" : "<STR_LIT>" } ] } , <EOL> expect = { "<STR_LIT:message>" : None } ) <EOL> def recipients_equal ( expected , actual ) : <EOL> return set ( expected ) == set ( map ( str . strip , actual . split ( "<STR_LIT:U+002C>" ) ) ) <EOL> def check_mail1 ( mail ) : <EOL> testing . expect . check ( "<STR_LIT>" , <EOL> mail . header ( "<STR_LIT>" ) ) <EOL> testing . expect . check ( [ "<STR_LIT>" , <EOL> "<STR_LIT>" ] , <EOL> mail . header ( "<STR_LIT>" ) , equal = recipients_equal ) <EOL> testing . expect . check ( "<STR_LIT>" , <EOL> mail . header ( "<STR_LIT>" ) ) <EOL> testing . expect . check ( [ "<STR_LIT>" , "<STR_LIT>" , "<STR_LIT>" ] , <EOL> mail . lines ) <EOL> check_mail1 ( mailbox . pop ( to_alice ) ) <EOL> check_mail1 ( mailbox . pop ( to_bob ) ) </s>
