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/Graph | |
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/Graph')
0 files changed, 0 insertions, 0 deletions