Decomposition issue in grocery.regions

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

Decomposition issue in grocery.regions #22

Closed spmaniato closed 12 years ago

spmaniato commented 12 years ago

Cameron had to add the following hack to my specs in order to make the decomposition of "grocery.regions" work properly:

Group hack is between kitchen and table1, between entrance and table2

cfinucane commented 12 years ago

Modifying the spec to remove all "between A and B" phrases causes the decomposition to give strange results. See attached picture and minimal breaking spec.

broken decomposition

http://tomyumcorp.com/github_issues/grocery_broken.spec

jimjing commented 12 years ago

fixed in f892ebff9457d0d175da79c2f23bd22d62e42d10