diff options
| author |  kyessenov <unknown> | 2010-07-02 18:56:50 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-07-02 18:56:50 +0000 |
| commit | 8f60fee050c6f7912135327d1dc99b3da4c0ecc4 (patch) | |
| tree | 7c85f673013fc92cdbf978775f82d9a98ea40188 /Test/test16 | |
| parent | 8680b6fec730fd740474d3d06ae80c7d4d6a21c4 (diff) | |
Dafny: added a regression test for the refinement extension.
Diffstat (limited to 'Test/test16')
0 files changed, 0 insertions, 0 deletions