Re: [Spot] spot-beginner questions

Hi Nikos,

On Thu, Oct 20, 2011 at 6:20 PM, Alexandre Duret-Lutz adl@lrde.epita.fr wrote:

...

On 18/10/11 15:38, Nikos Gorogiannis wrote: Yet another thing came up: even when I implement the method transition_annotation, the dotty output seems to ignore that.

[...]

I would call this a bug.

I've committed this: http://git.lrde.epita.fr/?p=spot.git;a=commitdiff;h=3010d7051baaaa96f278e954...

Because of a recent fix in the neverclaim output, I'd like to try to make a release before the end of the month, so if you have seen anything else that need fixing please let me know.