diff options
| author |  tabarbe <unknown> | 2010-08-27 16:34:22 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-27 16:34:22 +0000 |
| commit | 5b3285b1261b27a5a6bdeac05ab836c0947280da (patch) | |
| tree | 9fd432fa60bf1241edc0b632fd01b41da44819f2 /Source/CodeContractsExtender | |
| parent | 4c44ccc7150fccce7e3857ed9013b56a9785010b (diff) | |
Boogie: Adding an autobuild and regression cmd file for Boogie and Dafny - Cleans and builds both projects, then executes the regressions if the build succeeded. If the build had failed, it will stop the script.
Diffstat (limited to 'Source/CodeContractsExtender')
0 files changed, 0 insertions, 0 deletions