[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Newsgroup Home]
[news.eclipse.technology.cosmos] Re: How or Where can I get an SML-IF file

Jennifer wrote:
Hi David:
Thank you for your reply .
I've studied on SML Version 1.1 and SML-IF Version 1.1 as well as COSMOS UG & IG carefully , however , it is pity that I am still stuck . Following what you told me , I've found some,but still have error when importing . It says "...is not an SML-IF file" .
I am so worried . Would you give me more specifics please? Thank you very much.
Jennifer

Hi Jennifer,

Please also check out the document http://wiki.eclipse.org/COSMOS_SML_Test_Plan . This gives a nice web based interface to the SML-IF files we use to test the SML validator.

Can you please also email me the specific SML-IF file you were trying to import? Maybe I can spot a problem with the file you are using.

Thanks!
David