search

VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.
http://ltlmop.github.io
GNU General Public License v3.0
56 stars 69 forks source link

fixed exportDot problem by calling the new strategy now #66

Closed wongkaiweng closed 10 years ago

wongkaiweng commented 10 years ago

Now the automaton can be exported to a PDF. However, in the PDF, the original region name is not shown but rather the decomposed region name. Is it designed to be the case or this is a bug? screenshot from 2014-04-15 11 21 54

cfinucane commented 10 years ago

Thanks. The region name problem is known and will be fixed in the speccompiler update.