Custom Query (9 matches)
Status: accepted (2 matches)
Ticket | Summary | Owner | Type | Priority | Component | Created |
---|---|---|---|---|---|---|
#87 | Struct self-assignment results in assertion failure in memcpy | defect | major | DiOS | 5 years ago | |
#92 | divine info is outdated | defect | minor | DiOS | 5 years ago | |
Status: assigned (5 matches) |
||||||
Ticket | Summary | Owner | Type | Priority | Component | Created |
#49 | Build system should check for minimal version of Z3 | defect | minor | other | 5 years ago | |
#53 | divcc: Investigate and fix coreutils' ls | defect | major | divcc | 5 years ago | |
#60 | missing __sym_sitofp | defect | major | other | 5 years ago | |
#4 | Implement exec --symbolic. | feature | major | MC | 6 years ago | |
#62 | Generate concrete counterexample from smt. | feature | major | MC | 5 years ago | |
Status: new (2 matches) |
||||||
Ticket | Summary | Owner | Type | Priority | Component | Created |
#59 | Make it possible for `step --over` to stop on thread switch | defect | major | sim | 5 years ago | |
#90 | VFS: Divine segfaults while loading when capturing a diffutils directory | defect | major | DiOS | 5 years ago |
Note: See TracQuery
for help on using queries.