summaryrefslogtreecommitdiff
path: root/Test/lazyinline
diff options
context:
space:
mode:
authorGravatar kyessenov <unknown>2010-07-02 18:56:50 +0000
committerGravatar kyessenov <unknown>2010-07-02 18:56:50 +0000
commit8f60fee050c6f7912135327d1dc99b3da4c0ecc4 (patch)
tree7c85f673013fc92cdbf978775f82d9a98ea40188 /Test/lazyinline
parent8680b6fec730fd740474d3d06ae80c7d4d6a21c4 (diff)
Dafny: added a regression test for the refinement extension.
Diffstat (limited to 'Test/lazyinline')
0 files changed, 0 insertions, 0 deletions