diff options
author | 2012-03-13 04:59:12 -0700 | |
---|---|---|
committer | 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