Ditto

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 2.7/5 - ‎10 ‎投票

に関しては Ditto

バグを見つけるためにランタイムデータ構造の不変式チェックを書きたいが、減速に耐えられない?ディットは助けるでしょう。このツールは、10 倍速く実行されるように、自動的にこのようなチェックを最適化します。PLDI 2007紙http://www.cs.berkeley.edu/~aj/cs/ditto.pdf