From bf783ef68daf66ce04862caecafa6a64a62da240 Mon Sep 17 00:00:00 2001
From: lucapegolotti <luca.pegolotti@epfl.ch>
Date: Wed, 9 Mar 2016 18:28:48 +0100
Subject: [PATCH] Reversing last commit to fix Jenkins build

---
 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 23c5f20..2898ba8 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