2011-10-24から1日間の記事一覧
今日はアサーションの記述について run コマンドを書くかわりに assert でアサーションを書いてみる assert でチェックしたい条件を記述、check コマンドで検査を実行させる 反例(Counterexample) が見つかるとそれを表示してどこに考慮漏れがあったのか観察…
今日はアサーションの記述について run コマンドを書くかわりに assert でアサーションを書いてみる assert でチェックしたい条件を記述、check コマンドで検査を実行させる 反例(Counterexample) が見つかるとそれを表示してどこに考慮漏れがあったのか観察…