4 ms·
Pascal, have you reported the bug? Xuejun is doing some Csmith work right now and we can probably get him to fix it.
by regehr 12y ago
Pascal, have you reported the bug? Xuejun is doing some Csmith work right now and we can probably get him to fix it.
- pascal_cuoq 12y agoIt's one from the last batch, that Xuejun hoped to have fixed but still comes up occasionaly. If there is a window of opportunity, I will try to get more information and re-report it.
- regehr 12y agoPlease do, if it is not too much trouble.