Custom Query (3 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: closed (1 match)

Ticket Summary Owner Type Priority Resolution Created
#83 Divince check: false negative when using NULL as the first argument of the pthread_create() mornfall defect major fixed 5 years ago

Status: new (2 matches)

Ticket Summary Owner Type Priority Resolution Created
#116 Divine fails to build on distributions with recent glibc and GNU toolchain mornfall defect major 3 years ago
#117 Possibility of symbolic argc + argv mornfall feature major 3 years ago
Note: See TracQuery for help on using queries.