Not sure why this is a livelock?

[Joe Best-Rotheray]

I've got a reported livelock, but the code appears to be still progressing forwards and values being inserted/removed from my queue.

http://pastebin.com/3By8Ui7E

Are there any common newbie issues that would cause relacy to think there's a livelock here?

[Dmitry Vyukov]

Hi Joe,

Relacy detects livelock when execution is just too long. If you have a
large test, you need to change execution_depth IIRC simulation
parameter. Default value is 2000 or so operations, you can set it to
any higher value.

[Joe Best-Rotheray]

That fixed it, thanks :)