From 918f6598f19682dec7f91372574f8159221e0b81 Mon Sep 17 00:00:00 2001
From: lucapegolotti <luca.pegolotti@epfl.ch>
Date: Wed, 9 Mar 2016 18:23:23 +0100
Subject: [PATCH] Test if Jenkins build fails with non linearizable datastructure

---
 linearizability_tester/lt.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/linearizability_tester/lt.cc b/linearizability_tester/lt.cc
index 2898ba8..23c5f20 100644
--- a/linearizability_tester/lt.cc
+++ b/linearizability_tester/lt.cc
@@ -5117,7 +5117,7 @@ static void embb_experiment_queue(bool is_linearizable)
 	ConcurrentLog<state::Queue<N>> concurrent_log{ 2U * log_size };
 	S concurrent_queue(N);
 
-	if (!is_linearizable)
+	if (is_linearizable)
 	{
 		bool ok = concurrent_queue.TryEnqueue(5);
 		assert(ok);
--
libgit2 0.26.0