17 Nov
2011
17 Nov
'11
7:10 p.m.
Hi Nikos,
On Thu, Oct 20, 2011 at 6:20 PM, Alexandre Duret-Lutz <adl(a)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=3010d7051baaaa96f278e95…
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.
--
Alexandre Duret-Lutz