diff options
| author |  qunyanm <unknown> | 2016-02-05 18:09:23 -0800 |
|---|---|---|
| committer | qunyanm <unknown> | 2016-02-05 18:09:23 -0800 |
| commit | 6ea62e3009f326ca553521c169dec67a262a7217 (patch) | |
| tree | febfe0ce86d4760d1ef07bf851f7bfeb681fc2ac /Test/vstte2012 | |
| parent | 74d1631a4724739dbb897c74713f54c4d060e781 (diff) | |
Last checkin checked in the wrong version of bug125.dfy. The failure part of
the test was moved into test\dafny0\modules0.dfy so that bug125.dfy can be
verified that it was resolved to the correct types.
Diffstat (limited to 'Test/vstte2012')
0 files changed, 0 insertions, 0 deletions