Custom Query (5 matches)


Show under each result:

Status: closed (5 matches)

Ticket Summary Owner Type Priority Version Resolution
#847 ##sys#foreign-pointer-argument is declared to accept a pointer only, but is possibly invoked with a boolean defect major 4.7.x fixed
#1039 Scrutinizer's behaviour differs between (list-of x) and (list x) defect major 4.8.x fixed
#918 lolevel test fails with -scrutinize felix winkelmann defect major 4.8.x fixed
#868 scrutinizer makes too strong assumptions about mutable data felix winkelmann defect critical 4.7.x fixed
#1063 scrutiny-tests-2.scm contains a bad test but it passes anyway! defect critical 4.8.x fixed
Note: See TracQuery for help on using queries.