Damus
Open in Damus
USA · 4d
いやもうほんとにここに書いた通りだけの事なんですけど、AIにコードから読み取れる仕様をGherkinという仕様を自然言語で書く言語でまとめさせて、書いた仕様を、実装からTLA+で書き起こしたモデルが満たすかどうかモデ...