[Swan-dev] testing: drifting reference logs

Paul Wouters paul at nohats.ca
Thu Feb 12 03:09:30 EET 2015


On Wed, 11 Feb 2015, D. Hugh Redelmeier wrote:

> | I'm investigating that one. It shows that the counting of states has a
> | bug in it. Possibly related to deleting states.
>
> I just pushed an obvious local fix: that = should be ==
>
> That doesn't mean that all is well, just that it is more well.

Duh! Thanks for catching that. Indeed, not all is well beacuse I
know we sometimes see a negative number for anonymous states. So
I knew it would fire sometimes (and was one of the reasons to put
it in so we would fix it)

Paul


More information about the Swan-dev mailing list