search

dvyukov / relacy

Automatically exported from code.google.com/p/relacy
Other
208 stars 32 forks source link

Relacy fails to yield a possible execution in IRIW example #1

Closed dvyukov closed 6 years ago

dvyukov commented 9 years ago

See the following test: https://github.com/dvyukov/relacy/blob/master/test/iriw.cpp The assert should fire eventually. However relacy fails to yield such execution.

davidtgoldblatt commented 6 years ago

Thanks to http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0668r4.html, the assert ought not fire in C++20.

I've heard of 1-character fixes before, but I hadn't previously seen a 0-character one.

dvyukov commented 6 years ago

Ha! Pity not all problems resolve themselves if you just wait long enough. I think I will close this then. Unlikely anybody will work on this anyway, and it it will stay in the archives for history purposes.