Soundness Error

Mar 15, 2011 at 6:18 PM

MS visual studio 2010 does not shows soundness error when we verify using 'vcc /smoke filename.c'. How to go for it?

Mar 15, 2011 at 10:44 PM

Hi George,

does it show up with (View -> Output, Show Output from "Verification"), see  http://vcc.codeplex.com/discussions/245467 ? Otherwise maybe post some snippet where the soundness error shoud occur.

Best, Holger

Mar 17, 2011 at 6:22 PM

yes it is,

Thanks Holger.