diff options
| author |  wuestholz <unknown> | 2014-06-05 14:57:27 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-06-05 14:57:27 +0200 |
| commit | 2dcb445f1addae38aff40d5a153952ee7b4130e5 (patch) | |
| tree | 18745959608b4a3ab52a3895826e10e497a86713 /Test/dafny1 | |
| parent | 317f84eea57ff897d830588d5893b6722a6aa2a0 (diff) | |
Made the snapshotable trees test "unsupported" instead of "unresolved".
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions