diff options
| author |  stefanheule <unknown> | 2012-03-13 04:59:12 -0700 |
|---|---|---|
| committer | stefanheule <unknown> | 2012-03-13 04:59:12 -0700 |
| commit | 6852c61a4b21f3dc51f1700b3103ba430445a3c3 (patch) | |
| tree | f2a5c8480354d3fca592380af837469971d2f7be /Chalice/tests/readme.txt | |
| parent | e7534575867b8439af0ce747ea14e32f222cec92 (diff) | |
Chalice: By default use the new stdin method to pass the Boogie program to Boogie. Command line options /print and /print:<file> can be used to inspect the Boogie file.
Diffstat (limited to 'Chalice/tests/readme.txt')
0 files changed, 0 insertions, 0 deletions