[YICES-HELP] Subscribe

[xu zhao]

Hello,

I'm a student Universite Joseph Fourier in France. Now I have a project with
YICES.
And I want to use it in the Eclipse being a plugin. So i followed the steps
at the lien:
http://atlantis.seidenberg.pace.edu/wiki/lep/Yices_Rainbow_Eclipse_Plug-in?action=AttachFile&do=get&target=yicesrainbowhelp.pdf

But I have the problem at the step of test, it not return a result when I do
"CTRL+S".
The version of my Eclipse is 3.4 and My OS is Windows XP.
I can't find out the answer online.I really need your help.
Thank you.

PS: The example is correct when I test in the line commande.

Cordialement,
Xu ZHAO
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.csl.sri.com/pipermail/yices-help/attachments/20090402/e5f89924/attachment.html