Re: Some good analysis using PVS

On 01/09/14 13:44, Pierre Joye wrote: > A quick ping about some anaylise done by the PVS team: > > http://www.viva64.com/en/b/0277/ > > The ones listed are all valid so far. We will fix some of them in the > next days but feel free to go ahead, FIFC :) It's pleasing to see that there is nothing particularly 'nasty' only the sort of changes that do creep in when code gets re-factored? If that is all that comes up then it shows just what a good job is being done by the software crew! -- Lester Caine - G8HFL ----------------------------- Contact - http://lsces.co.uk/wiki/?page=contact L.S.Caine Electronic Services - http://lsces.co.uk EnquirySolve - http://enquirysolve.com/ Model Engineers Digital Workshop - http://medw.co.uk Rainbow Digital Media - http://rainbowdigitalmedia.co.uk