Skip to content
Snippets Groups Projects

Pass B2TLA-generated config file to TLA2B and adjust tests accordingly

Passed
dgelessus created pipeline for commit 56f11f87
, finished
For develop
6 minutes 10 seconds, queued for 4 seconds