6 Mar
2013
6 Mar
'13
8:57 a.m.
On Tue, Mar 5, 2013 at 10:07 AM, Angelo Gargantini
<angelo.gargantini(a)unibg.it> wrote:
Dear spot maintainers,
we have been using SPOT by using its web site to build monitors from LTL
formulas (http://spot.lip6.fr/ltl2tgba.html).
Now with the new version, translation to monitors gives always an error
like:
ome maps are not empty Variable Map: 0 Free 1 Var[a] x1 { 0xa001d10 }
Anonymous lists: [0] Free list: (0, 1) close failed in file object
destructor: sys.excepthook is missing lost sys.stderr
Could you please fix it?
Hi Angelo,
Thanks for the report. Actually, I fixed it yesterday evening in the
source, but I haven't yet deployed the fix to the server. I hope to
do that today. In the meantime, if you have a version of Spot
installed, you can use 'ltl2tgba --deterministic --monitor
some_formula' to generate the same output from the command-line.
--
Alexandre Duret-Lutz