From 34d5a8ab6ed5bc95e93494044e4e7e93997aa3c3 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Wed, 18 Dec 2013 23:53:58 +0100
Subject: Add an assertion to a test case to make it less flaky (hopefully).

---
 Test/VSI-Benchmarks/b3.dfy | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Test/VSI-Benchmarks')

diff --git a/Test/VSI-Benchmarks/b3.dfy b/Test/VSI-Benchmarks/b3.dfy
index 9fc8a10d..5df25612 100644
--- a/Test/VSI-Benchmarks/b3.dfy
+++ b/Test/VSI-Benchmarks/b3.dfy
@@ -101,6 +101,7 @@ class Benchmark3 {
       var x := q.Dequeue();
       q.Enqueue(x);
       j := j+1;
+      assert q.contents == old(q.contents)[j..] + old(q.contents)[..j];
     }
 
     m := q.Dequeue();
-- 
cgit v1.2.3