Function consumer_thread

tests/CDSChecker/enqueue_dequeue_one.cpp:13–22

}

void consumer_thread(void*)
{
	int element;
	bool result = try_dequeue(element);
	MODEL_ASSERT(!result || element == 1234);
	
	if (result) {
		MODEL_ASSERT(!try_dequeue(element));
	}
}

int user_main(int, char**)
{