This project is read-only.

Problem to use vcc in command line

Aug 14, 2012 at 9:38 AM


I'm trying to use VCC on a simple example and when I launch vcc command I have this message :

"Verification of main Prover error: Prover died was inconclusive. [1,30]Verification errors in 1 function(s)Exiting with 3 (1 error(s).)"

Any idea of what's wrong? 

I have this message all the time I launch VCC even with a tutorial example.

Thanks for your help


Regards, Jeff

Sep 11, 2012 at 3:49 PM

Hi Jeff,

Can you send to me ( the example for which it is dying? We should continue this offline.

cheers, ernie