diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-11-09 14:35:54 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-11-09 14:35:54 -0800 |
| commit | acd54f7fca4b35dfc516906f95daf7916e8d4b0d (patch) | |
| tree | abcba86700393098c20f1f46abbc932ef0f111f4 /Test/dafny0/runtest.bat | |
| parent | 688d3b7d65a7bd9bb3b49d464bee0cfccf17e12a (diff) | |
copied all attributes of the constructor (except for :constructor) to the selector and membership functions
Diffstat (limited to 'Test/dafny0/runtest.bat')
0 files changed, 0 insertions, 0 deletions