From ea02e5263f9371a86984d15480ca59f114e789ea Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 1 Jul 2013 16:00:15 -0700
Subject: Changed a test to verify within a reasonable time (10 s vs. 300 s).

---
 Test/VSI-Benchmarks/b4.dfy | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'Test/VSI-Benchmarks')

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..];
     }
   }
 
-- 
cgit v1.2.3