Concuerror is a very cool tool! I've been very impressed with some of the bugs I've seen it detect. It's definitely a tool I'd like to make more use of.

Thanks for the insightful comment, it's given me a lot of things to research!