monitor construction error
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? Thanks Angelo Gargantini University of Bergamo Italy
On Tue, Mar 5, 2013 at 10:07 AM, Angelo Gargantini <angelo.gargantini@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
participants (2)
-
Alexandre Duret-Lutz -
Angelo Gargantini