zhaoxu710 at gmail.com
Thu Apr 2 06:09:38 PDT 2009
I'm a student Universite Joseph Fourier in France. Now I have a project with
And I want to use it in the Eclipse being a plugin. So i followed the steps
at the lien:
But I have the problem at the step of test, it not return a result when I do
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.
PS: The example is correct when I test in the line commande.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the YICES-HELP