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

Experimental Configurations #59

Closed RobertVillalba closed 10 years ago

RobertVillalba commented 10 years ago

Added Experimental Configurations disappear after hitting apply. (Windows)

jimjing commented 10 years ago

can you give me some more info to reproduce this? thanks J

RobertVillalba commented 10 years ago

Hmm it seems like perhaps it wasn't an issue, maybe just not intuitive. Essentially if you click new and do things like setting up its name it will not be there once you click ok and open up the configuration again. However it does seem to remain if I add a robot. Perhaps that was a design choice.

jimjing commented 10 years ago

If you have a look at the logging message in console there should be something like Can't find robot in the config. Abort saving. The reason is that if there is no robot in the current config, LTLMoP won't be able to run the execution later. I am working on an updated version of the config editor which will give more clear information to user when no robot is given.

jimjing commented 10 years ago

i think this is fixed. let me know if you still run into this. otherwise please close this issue