Skip to content

Model checking

Lena Becker requested 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