diff options
| author |  Aleksandar Milicevic <unknown> | 2011-08-10 16:38:26 -0700 |
|---|---|---|
| committer | Aleksandar Milicevic <unknown> | 2011-08-10 16:38:26 -0700 |
| commit | 5ad331f94647b4fac965992d9231abc9a4220946 (patch) | |
| tree | 8809418caa866d1a0e871ade5ff507100badfec7 /Test/dafny0/runtest.bat | |
| parent | 927dd329ff0bd6e80580746316c9f27b588512c9 (diff) | |
Jennisys: started to work on synthesizing some methods. So far, only
infrastructural things have been implemented, like handling return parameters,
generating different "fresh" spec for methods than for constructors,
adding "Valid()" to method preconditions.
Diffstat (limited to 'Test/dafny0/runtest.bat')
0 files changed, 0 insertions, 0 deletions