Skip to content
Snippets Groups Projects

Use new ProB 2 Language class instead of custom FormulaLanguage

Passed
dgelessus created pipeline for commit c7674844
, finished
For master
1 minute 36 seconds, queued for 1 seconds