Custom Query (2 matches)
Ticket | Summary | Status | Keywords | Owner | Type | Priority |
---|---|---|---|---|---|---|
#49 | Build system should check for minimal version of Z3 | assigned | build | defect | minor | |
#120 | Divine-4.4.2 was built failed in ubuntu 20.04 | new | build | defect | major |
Note: See TracQuery
for help on using queries.