Dmitry Vyukov

> It was a fast search/replace and did not considered any other name conflict. So does mutex lead to the same problems or not? > Foo(const Foo&) = delete; Just...

> Unfortunatelly I forget to create a branch before push/PR. So I'll close the PR and create a new branch. git push -f? > Are u interested in the patch...

Hi Aleksei, You are right. This is an inherent limitation with the current implementation approach. Relacy is not a formal model checker. It does dynamic verification based on actually observed...

> Btw, I used to converse with Dmitry Vyukov all the time over on comp.programming.threads. He is a friend. Thanks, Chris :)

Hi @dorooleg, Do you actually have something so expensive that justifies fork + several socket calls + several context switches? This should be something notoriously expensive. However, snapshoting with fork...

@kcc FYI

Hi @dorooleg, Thanks for improving things. There are quite a few patches to review at once. I also see some merges, which I prefer to be removed (let's keep history...

I can reproduce with gcc version 7.4.0 (Debian 7.4.0-1). Running with `-M` gives me the following output. Something pulls in now, whereas it did not before. Is it ? Not...

> Has the problem been solved now？ I don't see any PRs referencing this issue. If this still happens on HEAD, it's not solved.

I think we should improve syz-bisect interface instead. I don't see this providing significant additional value on top of just converting the way things are passed in to syz-bisect. And...