Skip to content
GitLab
Explore
Sign in
PARTIES
tools
adt2amas
Issues
#9
Verify naming in vector of Channel pointers (channels), vector of State pointers (vector_states) and vector of Transition pointers (vector_transitions)