タグ miri
人気順 5 users 50 users 100 users 500 users 1000 users(1 - 1 / 1件)
Rustのコードチェックを強力にする3つのツール | κeenのHappy Hacκing Blog
2022/06/19
24 users
een
rust
Mirai
行儀
ツール
κeenです。 Rustaceanのみなさんは普段書いてるRustのコードを検証するのに cargo check や cargo test などのツールを使っているかと思いますが、それらを強力にするツールの miri 、 MIRAI 、 kani をそれぞれ紹介します。 Rustにはいくつかコードの正しさや行儀のよさを検査する方法がありますね。 cargo check や ca... 続きを読む
(1 - 1 / 1件)