diff options
author | peter mueller peter.mueller@inf.ethz.ch <unknown> | 2011-10-30 22:01:47 +0100 |
---|---|---|
committer | peter mueller peter.mueller@inf.ethz.ch <unknown> | 2011-10-30 22:01:47 +0100 |
commit | 16a9a020f90b1702eabf32a667960b5748bfe0b5 (patch) | |
tree | f00ba789064fe66e59472a24bf70c0884aceb900 /Source/Provers/SMTLib | |
parent | 2901a36002b6b7ed31e925525e3eab1f63aaa848 (diff) |
Added information how to customize chalice.bat to find Boogie.exe
Diffstat (limited to 'Source/Provers/SMTLib')
0 files changed, 0 insertions, 0 deletions