diff options
| author |  Bryan Parno <parno@microsoft.com> | 2015-10-19 22:53:41 -0700 |
|---|---|---|
| committer | Bryan Parno <parno@microsoft.com> | 2015-10-19 22:53:41 -0700 |
| commit | 88f5ac86bda56381f81be032a0011e34aeca50a8 (patch) | |
| tree | 08cfa5f7b5d3896f9a8538291a9d584316b29daa /Test/dafny4 | |
| parent | be08f2949d674bd757a804795de1dd37c95177f3 (diff) | |
Improve Dafny's ability to find fueled functions by checking the function itself,
as well as the signature and body of other functions.
Diffstat (limited to 'Test/dafny4')
0 files changed, 0 insertions, 0 deletions