Inexplicable behavior

Sep 23, 2010 at 5:26 AM

Hi, 

I installed the latest version of Specsharp (August version) and Z3 as well. I do not get any error in my Project now. Which is kind of unacceptable, because i do expect some. 

Wonder if it is because of the only warning that i am getting - 

Warning 1 internal error: 2 typechecking errors detected C:\Users\......\ ...ssc 1 1 SpecXML

Could someone please help in understanding this warning/error?

Thanks,

ruchija

Dec 26, 2010 at 3:24 AM

Could someone please help me understand the above stated warning. . It is really inexplicable.

Warning 1 internal error: 2 typechecking errors detected C:\Users\......\ ...ssc 1 1 SpecXML

Thanks!
Developer
Mar 4, 2011 at 6:01 PM

Hi, could you let us know how to reproduce this error, please? If you post it as an issue on the Issue Tracker then you can also attach the files which are needed. It sounds like something which needs fixing :)

Thanks,

Alex