Checker should be launch before export. #120

Open

Assignees

Labels

opened

on Jun 15, 2022

Model checker should be launch before export and cancel export if error are found.

Metadata

Assignees

Amina-Moussaoui

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests