Bug#730619: [PATCH] Add a transition collision detector.

[Stéphane Glondu <glondu@debian.org>]

Package: ben
Version: 0.6.6
Severity: normal

Le 09/02/2012 18:21, Niels Thykier a écrit :
>> While this post-processing of generated HTML files is kind of ugly, it
>> makes it easy to show which transitions might be entangled due to
>> collisions.
>> [...]
> 
> I am in favor of using this as a temporary solution until Ben gets a
> similar feature.

Submitting a proper bugreport for this...

For reference, original patch is at:

  https://lists.debian.org/debian-release/2012/02/msg00084.html

-- 
Stéphane