Sensor proposition name cant start with a number

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

Closed RobertVillalba closed 12 years ago

RobertVillalba commented 12 years ago

Sensor proposition 0Button gave error when I ran the spec (sensors starting with numbers could cause issues)

cfinucane commented 12 years ago

This seems to be a problem with the ANTLR parsing stuff inside of the JTLV library. I don't think it's worth trying to fix it.