合金 - チェック述語が正しいか？

私は現在Alloyの述語で遊んでいます。私はassertとcheckステートメントを使用して、自分のモデルが正常に動作していることを確認できます。しかし、私が作成した述語が私が期待したことを行ったことを確認する方法はありますか？または、インスタンスを表示して手動で検索する必要がありますか？合金 - チェック述語が正しいか？

出典

2017-03-23 LEJ

あなたが "期待する"ことを言い、それをアサーションとして設定します。残念ながら、Alloyは現在読書コマンドを持っていません:-)

出典

2017-03-24 14:49:24

ありがとうございました。 – LEJ

合金 - チェック述語が正しいか？

答えて

関連する問題