Custom Query (9 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Status: accepted (2 matches)

Ticket Summary Owner Type Priority Component Created
#87 Struct self-assignment results in assertion failure in memcpy mornfall defect major DiOS 5 years ago
#92 divine info is outdated Vladimír Štill defect minor DiOS 5 years ago

Status: assigned (5 matches)
Ticket Summary Owner Type Priority Component Created
#4 Implement exec --symbolic. adamatousek feature major MC 6 years ago
#49 Build system should check for minimal version of Z3 Henrich Lauko defect minor other 5 years ago
#53 divcc: Investigate and fix coreutils' ls blurry defect major divcc 5 years ago
#60 missing __sym_sitofp Henrich Lauko defect major other 5 years ago
#62 Generate concrete counterexample from smt. Henrich Lauko 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 mornfall 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.