複数のプログラムで同じ Dafny コードを再利用したい。ある Dafny ファイルを別の Dafny ファイルに含めることはできますか? マニュアルには、それを行う方法については説明されていません。
1 に答える
1
はい、2013 年 12 月に「include」ステートメントのサポートがDafny に追加されました。構文は次のとおりです。
include "Includee.dfy"
于 2014-04-02T13:20:28.107 に答える