Custom Query (3 matches)
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() | 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 | defect | major | 3 years ago | ||
| #117 | Possibility of symbolic argc + argv | feature | major | 3 years ago | ||
Note: See TracQuery
for help on using queries.