Test if Jenkins build fails with non linearizable datastructure

918f6598 · lucapegolotti · 66f24eff · 918f6598
Commit 918f6598 authored 9 years ago by lucapegolotti
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

linearizability_tester/lt.cc
+1 -1

No files found.
--- 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);