Skip to content

Model checking

Lena Beckerrequested to merge
react-promela into react

Adds the model checking action, which lets users compile their pseuCo program to Promela. Also includes some documentation of this feature on the help page.

Merge request reports