10:38 Ticket #110 (DiOS: -o {stdout|stderr}:notrace results in a null pointer dereference) created by Lukáš Zaoral
Hi, it is not possible to disable DiOS' stderr and stdout tracing …


10:42 Ticket #109 (libc: calloc forgets to set errno whenever it fails) created by Lukáš Zaoral
Hi, Divine fails to correctly verify following piece of code and the …
Note: See TracTimeline for information about the timeline view.