Bug#789059: what is the state of this?

Sun, 14 May 2017 16:19:21 -0700 

Hello Michael
Do you have anything done on this yet? I've quickly given it a look at, here 
http://sid.ethz.ch/debian/infer/

Yours,

Reply via email to