[Jmlspecs-developers] Re: [Jmlspecs-interest] Re: Problem with assert statements and jmlc

[Till M. <ti...@in...>]

Dear Gary,

with JML 5.2_rc2 (Apr. 3, 2005), the only problem seems to be the
rejection of assert statements. Of course, I do not know what will
happen once these are accepted.

With 4.1 oder 5.0_rc2, the assert statement problem does not occur;
instead, there are other problems. However, they are not necessarily
problems of the current pre-release and hence probably not interesting.

Greetings,
Till

Gary T. Leavens wrote:
> Hi Joe, Till,
> 
> On Mon, 30 May 2005, Joseph Kiniry wrote:
> 
>> Till Mossakowski <ti...@in...> writes:
>>
>>> Actually, I have found some old binaries:
>>>
>>> http://mirror.optusnet.com.au/sourceforge/j/jm/jmlspecs/
>>>
>>> With 4.1 oder 5.0_rc2, the bug disappears, but new problems appear.
>>> So I will give up trying out this example.
>>>
>>> Till
>>
>> I'm sorry Till; I really thought that this bug had been fixed.  I'll
>> see if I can find a few hours to look into this soon.
> 
> Joe, I think I have fixed this bug now.  I will try to make a
> pre-release that contains the fix...
> 
> Till, what other problems do you have with the current pre-release of JML?
> 
>         Gary T. Leavens
>         Department of Computer Science, Iowa State University
>         229 Atanasoff Hall, Ames, Iowa 50011-1041 USA
>         http://www.cs.iastate.edu/~leavens  phone: +1-515-294-1580


-- 
Till Mossakowski               Phone +49-421-218-4683
Dept. of Computer Science      Fax +49-421-218-3054
University of Bremen           ti...@tz...
P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till