Skip to content

Modular Termination Validation Disappeared #477

@AdamZsofi

Description

@AdamZsofi

I think at some point during refactoring, we didn't connect it back into xcfa-cli - I'll need to find it and re-introduce it.

Metadata

Metadata

Assignees

Labels

bugxcfaIssue is XCFA specific (not core or XSTS or other formalisms)

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions