diff options
| author |  wuestholz <unknown> | 2013-07-01 16:00:15 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-01 16:00:15 -0700 |
| commit | ea02e5263f9371a86984d15480ca59f114e789ea (patch) | |
| tree | 4ce6c700c95352a17273f5c492ac83bf48a2c7a9 /Test/VSI-Benchmarks | |
| parent | 72799f600cc520253f0fc26a0327466bbaa28903 (diff) | |
Changed a test to verify within a reasonable time (10 s vs. 300 s).
Diffstat (limited to 'Test/VSI-Benchmarks')
| -rw-r--r-- | Test/VSI-Benchmarks/b4.dfy | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Test/VSI-Benchmarks/b4.dfy b/Test/VSI-Benchmarks/b4.dfy index f06b712c..ae5b0511 100644 --- a/Test/VSI-Benchmarks/b4.dfy +++ b/Test/VSI-Benchmarks/b4.dfy @@ -117,10 +117,6 @@ class Map<Key(==),Value> { } else {
prev.next := p.next;
}
- assert Keys[..n] == old(Keys)[..n];
- assert Values[..n] == old(Values)[..n];
- assert Keys[n..] == old(Keys)[n+1..];
- assert Values[n..] == old(Values)[n+1..];
}
}
|