Switch to nightly version of ProB and update parsers accordingly
Passed
Michael Leuschel
created pipeline for commit a0c13101
, finished
For develop
2 minutes 19 seconds, queued for 2 seconds