Custom Query (2 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Keywords Owner Type Priority
#17 Generalize smt builder interface to be usable with different back-ends. assigned sym Henrich Lauko feature major
#10 Memory leak from symbolic values. new sym, sv-comp defect major
Note: See TracQuery for help on using queries.