【Rust日报】2023-06-18
原文中文，约900字，阅读约需3分钟。发表于：。2023第三届中国Rust开发者大会 发布 Mailtutan v0.3.0 - 用于测试和开发环境的 SMTP 服务器 变更日志： 添加数据修剪支持 添加邮件目录存储 向 API 添加删除消息 添加 TLS 支持 添加 SMTP 普通身份验证支持 github: https://github.com/mailtutan/mailtutan/ Kani 0.30.0...
介绍2023第三届中国Rust开发者大会以及两个开源项目：Mailtutan和Kani。Mailtutan是用于测试和开发环境的SMTP服务器，最新版本添加了多项功能。Kani是一个使用模型检查来分析Rust程序的验证工具，最新版本更新了多项功能。
