This project is read-only.

show z3 error model not popping up

Apr 19, 2011 at 4:42 PM

Hey folks


I am new to this place

I was trying to play with vcc using some examples ,when verification failed and at that line when i click and choose show z3 error model then nothing is popping up :(

can anyone please tell why its happening ? 

P.S : I am using visual studio 2008 v9 and OS is windows 7 X64


Apr 20, 2011 at 12:48 AM

well np guys


it was working now , i dont know why it didnt worked in the morning!