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

Setting basicSim init_region in GUI is blank #18

Closed ConstantineLignos closed 12 years ago

ConstantineLignos commented 12 years ago

When I set the initial region for basicSim using the GUI, I seem to always end up with an empty string. If I just edit the file manually to the same region name, things are okay.

basicSimInit(init_region="")