dgerod/CBTs-Checker

Issues

• Review examples of the original article

  #7 opened 2 years ago
  0

• Allow that parallel nodes could have children that are not only execution nodes

  #6 opened 2 years ago
  0

• Fix tests because now they are failing

  #5 opened 2 years ago
  0

• Add bindings for python

  #4 opened 2 years ago
  0

• Fix XML used in tree files

  #3 opened 2 years ago
  0

• Avoid that conditions in initial state must end by "_0"

  #2 opened 2 years ago
  0