Zennta
ログイン
会員登録
検索
後で読む
お気に入り
お気に入りグループ
検索
Qiita一覧
Zenn一覧
お問い合わせフォーム
利用規約
プライバシーポリシー
記事がありません
1
GraphQL(gqlgen) の directive で事前条件、事後条件を実装する
実は普段からやってるだけのこと 契約による設計: 事後条件編
CreusotによるRustプログラムの形式検証: 事前条件・事後条件・ループ不変条件
事前条件も事後条件もテストも全部 assert!() でいいの？ まあ、いいんじゃないでしょうかという話
1